| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings | 978-3-319-11935-9 (3-319-11935-4) | 2014 | Franck Cassez |
| Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings | 978-3-540-75453-4 (3-540-75453-9) | 2007 | |
J. F. · J François · J R · Jean F. · Jean François