| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings | 978-3-540-66202-0 (3-540-66202-2) | 2008 | Doron Peled | |
| Synchronous Programming of Reactive Systems | 978-0-7923-9311-5 (0-7923-9311-2) | 1992 | ||
| Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Notes in Computer Science , Band 3440) | 978-3-540-25333-4 (3-540-25333-5) | 2008 | Lenore Zuck | |