Département
Ingeniería del Software e Inteligencia Artificial
Articles (1) Publications auxquelles un chercheur a participé
1988
-
Diseño de protocolos: técnicas de especificación y descripción formal
Revista de informática y automática, Año 21, Núm. 1, pp. 28-37