Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal

Research areas:	Uncategorized	Year:	1995
Type of Publication:	In Proceedings
Authors:	2, 5 Carlos Delgado Kloos
Book title:	IV Jornadas de Concurrencia
Address:	El Escorial, Spain
Month:	June
BibTex:
@conference{PDG95, author = "2,Carlos Delgado Kloos,5", address = "El Escorial, Spain", booktitle = "IV Jornadas de Concurrencia", month = "jun", title = "{V}erificaci{\'o}n de {P}ropiedades en {E}specificaciones {LOTOS} {M}ediante {L}{\'o}gica {T}emporal", year = "1995", }