| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... and Fault-Tolerant Systems, FTRT | 978-3-662-20887-8 (3-662-20887-3) | 2014 | Yassine Lakhnech |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science , Band 3253) | 978-3-540-23167-7 (3-540-23167-6) | 2008 | " |