| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings | 978-3-319-11163-6 (3-319-11163-9) | 2014 | Scott A. Smolka |
| Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings | 978-3-319-49258-2 (3-319-49258-6) | 2016 | Franck Petit |