![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Timed Automata
Halbwachs, Nicolas, Peled, DoronVolume:
10.1007/3-
Year:
1999
Language:
english
Pages:
15
DOI:
10.1007/3-540-48683-6_3
File:
PDF, 494 KB
english, 1999