
[Lecture Notes in Computer Science] SOFSEM'96: Theory and Practice of Informatics Volume 1175 || A light-weight formalism for the specification of reactive systems
Jeffery, Keith G., Král, Jaroslav, Bartošek, MiroslavVolume:
10.1007/BF
Année:
1996
Langue:
english
DOI:
10.1007/BFb0037426
Fichier:
PDF, 515 KB
english, 1996