| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings | Taschenbuch | | 978-3-540-43787-1 | 2008 | Charles Lakos |
| Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I | " | | 978-3-662-43947-0 | 2014 | Pierre Fraigniaud · Thore Husfeldt · Elias Koutsoupias |
| Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II | " | | 978-3-662-43950-0 | 2014 | Pierre Fraigniaud · Thore Husfeldt · Elias Koutsoupias |
| Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings | " | | 978-3-030-31783-6 | 2019 | Yu-Fang Chen · Chih-Hong Cheng |
| Finite and Algorithmic Model Theory | Paperback | | 978-0-521-71820-2 | 2011 |
| Foundations of Software Science and Computation Structures | Taschenbuch | | 978-3-662-54457-0 | 2017 | Andrzej S. Murawski |
| Free Choice Petri Nets | Paperback | | 978-0-521-01945-3 | 2005 | Jorg Desel |
| Free Choice Petri Nets | Hardcover | | 978-0-521-46519-9 | 1995 | " |
| Tools and Algorithms for the Construction and Analysis of Systems | Taschenbuch | | 978-3-642-12001-5 | 2010 | Rupak Majumdar |
| Unfoldings: A Partial-Order Approach to Model Checking | " | | 978-3-642-09605-1 | 2010 |
| Unfoldings: A Partial-Order Approach to Model Checking | Gebunden | | 978-3-540-77425-9 | 2008 | Keijo Heljanko |