| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever | 978-3-642-11511-0 (3-642-11511-X) | 2010 | Ulrich Hannemann · Martin Steffen |
| FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings | 978-3-642-05088-6 (3-642-05088-3) | 2009 | Ana Cavalcanti |
| Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... Notes in Computer Science , Band 1680) | 978-3-540-66499-4 (3-540-66499-8) | 2008 | Mieke Massinek · Stefan Leue · Robert Gerth |