[Lecture Notes in Computer Science] Computer Aided...

  • Main
  • [Lecture Notes in Computer Science]...

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1254 || Uppaal: Status & developments

Grumberg, Orna
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1007/3-
Year:
1997
Language:
english
DOI:
10.1007/3-540-63166-6_47
File:
PDF, 333 KB
english, 1997
Conversion to is in progress
Conversion to is failed