| 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 | Jean-Francois Raskin |
| Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings | 978-3-540-85777-8 (3-540-85777-X) | 2008 | |
| Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures | 978-3-540-42787-2 (3-540-42787-2) | 2008 | Mark D. Ryan · Brigitte Rozoy · Claude Jard |
"F.C." · Francesco Cacucci · Francesco Checuz · Francesco Cossiga · Francis Cossiaux · Franco Ciccacci · Frank Cassese · Frank Chicas · Frank Chigas