| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings | 978-3-642-24309-7 (3-642-24309-6) | 2011 | Stavros Tripakis |
| Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings ... in Computer Science , Band 12062) | 978-3-030-43519-6 (3-030-43519-9) | 2020 | Peter Jipsen · Michael Winter |