| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Unfoldings: A Partial-Order Approach to Model Checking | Taschenbuch | 978-3-642-09605-1 (3-642-09605-0) | 2010 | Javier Esparza |
| Unfoldings: A Partial-Order Approach to Model Checking | Gebunden | 978-3-540-77425-9 (3-540-77425-4) | 2008 | " |