| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings | 978-3-319-45176-3 | 2016 | Pietro Lio · Nicola Paoletti |
| From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday | 978-3-030-31513-9 | 2020 | Rance Cleaveland · Radu Grosu · Oleg Sokolsky |
| Lectures on Runtime Verification: Introductory and Advanced Topics | 978-3-319-75631-8 | 2018 | Yliès Falcone |
| Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings | 978-3-642-39175-0 | 2013 | C. R. Ramakrishnan |
| Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings | 978-3-319-23819-7 | 2015 | Rupak Majumdar |