| 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 | |
| Systems and Software Verification: Model-Checking Techniques and Tools | Gebunden | 978-3-540-41523-7 (3-540-41523-8) | 2001 | M. Bidoit · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci · P. Schnoebelen |
B. B. · Bruno Bérard · Bryan Berard · Frederick B. De Berard · Frederick Brigham De Berard