Departamento
Ingeniería del Software e Inteligencia Artificial
Artigos (1) Publicacións nas que participase algún/ha 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