| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996: Proceedings | 978-O-387-61O42-9 (O-387-61O42-1) | 1996 | Germany) Tacas '9 1996 Passau · Tiziana Margaria · Bernhard Steffen |
Germany). Tagung (1981 : Bad Wiessee, Germany) Collegium Carolinum (Munich