Departament
Ingeniería del Software e Inteligencia Artificial
Articles (1) Publicacions en què ha participat algun/a investigador/a
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