Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Tools and Algorithms for the Construction and Analysis of Systems | Nir Piterman | This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42… | OL19907242W |