| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Verification of Digital and Hybrid Systems | Gebunden | 978-3-540-65595-4 (3-540-65595-6) | 2000 | Robert P. Kurshan |
| Verification of Digital and Hybrid Systems | Taschenbuch | 978-3-642-64052-0 (3-642-64052-4) | 2000 | |