[Lecture Notes in Computer Science] Computer Aided Verification Volume 1254 || Uppaal: Status & developments
Grumberg, OrnaVolume:
10.1007/3-
Year:
1997
Language:
english
DOI:
10.1007/3-540-63166-6_47
File:
PDF, 333 KB
english, 1997