| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings | 978-3-642-21833-0 (3-642-21833-4) | 2011 | Lars M. Kristensen |
| Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... Notes in Computer Science, Band 10471) | 978-3-319-67112-3 (3-319-67112-X) | 2017 | Cristina Seceleanu · Ana Cavalcanti |