Especificación y Transformación de Protocolos con LOTOS

Áreas de investigación:	Sin categoría	Año:	1994
Tipo de publicación:	Artículo en conferencia
Autores:	2, 5 Carlos Delgado Kloos
Título del libro:	IX Symposium Nacional URSI (URSI)
Dirección:	Las Palmas, Spain
Mes:	Septiembre
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", }