| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 | 978-3-642-02657-7 | 2010 | Ahmed Bouajjani | |
| Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings | 978-3-540-62600-8 | 2008 | ||
| Hybrid Systems Biology | 978-3-319-27655-7 | 2015 | Ádám Halász · Thao Dang · Carla Piazza | |
| Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings | 978-3-540-00913-9 | 2008 | Amir Pnueli · Freek Wiedijk | |
| Verification and Synthesis of Hybrid Systems | 978-0-8176-4296-9 | 2006 | Eugine Asarin · Thao Dang | |