| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings | Taschenbuch | 978-3-642-04760-2 | 2009 | Zhiming Liu | |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... Notes in Computer Science , Band 1486) | " | 978-3-540-65003-4 | 2008 | Hans Rischel | |
| Hybrid Systems | " | 978-3-540-57318-0 | 2008 | Anil Nerode · Hans Rischel · Robert L. Grossman | |
| Hybrid Systems | Paperback | 978-0-387-57318-2 | 1993 | Robert L. Grossman · Anil Nerode |