Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Concurrency Verification: Introduction to Compositional and Non-compositional Methods | 978-0-521-80608-4 (0-521-80608-9) | 2001 | Willem-Paul de Roever · Frank de Boer · Ulrich Hanneman · Yassine Lakhnech · Mannes Poel · Job Zwiers | |
| Specification and Compositional Verification of Real-Time Systems | 978-3-540-54947-5 (3-540-54947-1) | 2008 | ||