| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Techniques for Safety-Critical Systems: Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... in Computer and Information Science) | 978-3-319-295O9-1 (3-319-295O9-8) | 2016 | Cyrille Artho |