Especificación y Transformación de Protocolos con LOTOS

Research areas:	Uncategorized	Year:	1994
Type of Publication:	In Proceedings
Authors:	2, 5 Carlos Delgado Kloos
Book title:	IX Symposium Nacional URSI (URSI)
Address:	Las Palmas, Spain
Month:	September
BibTex:
@conference{PDG94, author = "2,Carlos Delgado Kloos,5", address = "Las Palmas, Spain", booktitle = "IX Symposium Nacional URSI (URSI)", month = "sep", title = "{E}specificaci{\'o}n y {T}ransformaci{\'o}n de {P}rotocolos con {LOTOS}", year = "1994", }