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

Áreas de investigación:	Sin categoría	Año:	1995
Tipo de publicación:	Artículo en conferencia
Autores:	2, 5 Carlos Delgado Kloos
Título del libro:	IV Jornadas de Concurrencia
Dirección:	El Escorial, Spain
Mes:	Junio
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", }