| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Correct System Design: Recent Insights and Advances | 978-3-540-66624-0 | 1999 | Ernst-Rüdiger Olderog |
| Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers | 978-3-540-64367-8 | 1998 | Tiziana Margaria · Roland Rückert · Joachim Posegga |
| Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... | 978-3-540-64356-2 | 1998 |
| Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers | 978-3-540-60630-7 | 1995 | Ed Brinksma · W. Rance Cleaveland · Kim G. Larsen · Tiziana Margaria |
| Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... | 978-3-540-61042-7 | 1996 | Tiziana Margaria |
| Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings | 978-3-540-20803-7 | 2004 | Giorgio Levi |