![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6605 ||
Abdulla, Parosh Aziz, Leino, K. Rustan M.Volume:
10.1007/97
Year:
2011
Language:
english
DOI:
10.1007/978-3-642-19835-9
File:
PDF, 6.13 MB
english, 2011