Communication protocols verification with Esterel
- Gil, JG
- Ferro, MV
- Bernhard, R
- Uso, JL (coord.)
- Mitic, P (coord.)
- Sucharov, LJ (coord.)
ISBN: 1-85312-385-4
Año de publicación: 1996
Páginas: 255-265
Congreso: 2nd International Conference on Software Engineering in Higher Education (SEHE 95)
Tipo: Aportación congreso