Síntesis de programas LOTOS a partir de la especificación de sus propiedades

Research areas:	Uncategorized	Year:	1993
Type of Publication:	In Proceedings
Authors:	2, Carlos Delgado Kloos
Book title:	III Jornadas de Concurrencia
Pages:	25-38
Address:	Gandía, Spain
Month:	June
BibTex:
@conference{PD93a, author = "2,Carlos Delgado Kloos", address = "Gand{\'i}a, Spain", booktitle = "III Jornadas de Concurrencia", month = "jun", pages = "25--38", title = "{S}{\'i}ntesis de programas {LOTOS} a partir de la especificaci{\'o}n de sus propiedades", year = "1993", }