| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | Taschenbuch | | 978-3-540-88386-9 | 2008 | Sungdeok Steve Cha · Jin-Young Choi · Moonzoo Kim · Mahesh Viswanathan |
| Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | － | | 978-3-540-88422-4 | 2008 | Sungdeok (Steve) Cha · Jin-Young Choi · Moonzoo Kim · Mahesh Viswanathan |
| CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings | Taschenbuch | | 978-3-540-60218-7 | 2008 | Scott Smolka |
| Embedded Software: Third International Conference, EMSOFT 2003 Philadelphia, PA, USA, October 13-15, 2003 Proceedings | " | | 978-3-540-20223-3 | 2009 | Rajeev Alur |
| Handbook of Real-Time and Embedded Systems | Hardcover | | 978-1-58488-678-5 | 2007 | Joseph Y-T. Leung · Sang H. Son |
| Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | Taschenbuch | | 978-3-642-16611-2 | 2010 | Howard Barringer · Ylies Falcone · Bernd Finkbeiner · Klaus Havelund · Gordon Pace · Grigore Rosu · Oleg Sokolsky |