| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings | 978-0-387-55092-3 (0-387-55092-5) | 1992 | ||
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings ... Notes in Computer Science , Band 571) | 978-3-540-55092-1 (3-540-55092-5) | 2008 | ||
| Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... Notes in Computer Science , Band 863) | 978-3-540-58468-1 (3-540-58468-4) | 2009 | Hans Langmaack · Willem-Paul de Roever | |