| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Selected | 978-3-540-70951-0 | 2007 | Lubos Brim · Boudewijn Haverkort · Jaco van de Pol |
| Model-Based Testing of Reactive Systems: Advanced Lectures | 978-3-540-26278-7 | 2008 | Manfred Broy · Bengt Jonsson · Joost-Pieter Katoen · Alexander Pretschner |
| Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers | 978-3-540-89246-5 | 2008 |
| Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings | 978-3-030-03768-0 | 2018 | Christian Colombo |
| Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings | 978-3-642-03465-7 | 2009 | Carroll Morgan |
| Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings | 978-3-319-25149-3 | 2015 | Camilo Rueda · Frank D. Valencia |