| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings | 978-3-540-61474-6 | 2008 | Thomas Henzinger | |
| Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings | 978-3-540-22342-9 | 2008 | Doron A. Peled | |
| Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings | 978-3-662-20069-8 | 2014 | ||
| Embedded Software: Third International Conference, EMSOFT 2003 Philadelphia, PA, USA, October 13-15, 2003 Proceedings | 978-3-540-20223-3 | 2009 | Insup Lee | |
| Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004 Proceedings | 978-3-540-21259-1 | 2009 | George J. Pappas | |
| Hybrid Systems III: Verification and Control | 978-3-540-61155-4 | 2008 | Thomas A. Henzinger · Eduardo D. Sontag | |
| Principles of Cyber-Physical Systems | 978-0-262-02911-7 | 2015 | ||