| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings | 978-3-642-15296-2 (3-642-15296-1) | 2010 | Thomas A. Henzinger |
| Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings | 978-3-642-40312-5 (3-642-40312-3) | 2013 | Jirí Sgall |