| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings | 978-3-540-75595-1 (3-540-75595-0) | 2007 | Kedar S. Namjoshi · Tomohiro Yoneda |
| Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers | 978-3-540-27324-0 (3-540-27324-7) | 2007 | |