| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Tools and Algorithms for the Construction and Analysis of Systems | 978-3-540-25333-4 (3-540-25333-5) | 2005 | Nicolas Halbwachs · Scotland) Tacas 200 (2005 Edinburgh · Scotland) Etaps 200 (2005 Edinburgh |
| Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, ... Notes in Computer Science , Band 2575) | 978-3-540-00348-9 (3-540-00348-7) | 2008 | Agostino Cortesi · Supratik Mukhopadhyay · Paul D. Attie |