| 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-54O-75595-1 (3-54O-75595-O) | 2007 | Kedar Namjoshi · Teruo Higashino |