| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, ... Notes in Computer Science, Band 9360) | Taschenbuch | 978-3-319-23505-9 | 2015 | Roland Meyer · Heike Wehrheim |
| Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics | Gebunden | 978-3-642-14508-7 | 2010 | |
| Logical Foundations of Cyber-Physical Systems | Taschenbuch | 978-3-030-09697-7 | 2019 | |
| Logical Foundations of Cyber-Physical Systems | Gebunden | 978-3-319-63587-3 | 2018 | |
A. P. · Anders Piltz · Andreas Pfaltz · Andreas Pflitsch · Andreas Plaitakis · Andreas Platis · Andreas Platthaus · Andreas Platz · Andreas Plietz · Andreas Plietzsch · Andreas Plötzeneder · Andreas Plotzitza · Andreas Pollitz · Andrzej Poltawski · Prof. Andre Platzer Computer Science Carnegie Mellon U