| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach | Taschenbuch | 978-3-642-06942-0 (3-642-06942-8) | 2010 | Wojciech Penczek · Agata Polrola |
| Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach | Gebunden | 978-3-540-32869-8 (3-540-32869-6) | 2006 | Wojciech Penczek |