![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || A Tool Architecture for the Next Generation of Uppaal
Aichernig, Bernhard K., Maibaum, TomVolume:
10.1007/b1
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-40007-3_22
File:
PDF, 297 KB
english, 2003