![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 8413 || Compositional Invariant Generation for Timed Systems
Ábrahám, Erika, Havelund, KlausVolume:
10.1007/97
Year:
2014
Language:
english
DOI:
10.1007/978-3-642-54862-8_18
File:
PDF, 352 KB
english, 2014