Transformación y Verificación con LOTOS

BibTex:
Research areas:	Uncategorized	Year:	1995
Type of Publication:	Phd Thesis
Authors:	Pazos Arias, José J.
University:	Universidad Politécnica de Madrid


@phdthesis{21995, author = "Pazos Arias, Jos{\'e} J.", school = "Universidad Polit{\'e}cnica de Madrid", title = "{T}ransformaci{\'o}n y {V}erificaci{\'o}n con {LOTOS}", year = "1995", }
Comments:	PhD Advisor: Carlos Delgado Kloos