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
Year of publication: 1996
Pages: 255-265
Congress: 2nd International Conference on Software Engineering in Higher Education (SEHE 95)
Type: Conference paper