Formalización de propiedades de procesos LOTOS con Lógica Temporal

Áreas de investigación:	Sin categoría	Año:	1990
Tipo de publicación:	Artículo en conferencia
Autores:	Carlos Delgado Kloos, 2
Título del libro:	II Jornadas de Concurrencia
Dirección:	Palma de Mallorca, Spain
Mes:	Septiembre
BibTex:
@conference{DP90, author = "Carlos Delgado Kloos,2", address = "Palma de Mallorca, Spain", booktitle = "II Jornadas de Concurrencia", month = "sep", title = "{F}ormalizaci{\'o}n de propiedades de procesos {LOTOS} con {L}{\'o}gica {T}emporal", year = "1990", }