| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Systems and Software Verification: Model-Checking Techniques and Tools | Taschenbuch | 978-3-642-07478-3 (3-642-07478-2) | 2010 | B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci |
| Systems and Software Verification: Model-Checking Techniques and Tools | Gebunden | 978-3-540-41523-7 (3-540-41523-8) | 2001 | B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci |