Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings | | 978-3-540-64781-2 | 1998 | Sven Skyum · Glynn Winskel |
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings | | 978-3-540-55179-9 | 2008 | Arne Skou |
Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings | | 978-0-387-55179-1 | 1992 |
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings | | 978-3-540-43997-4 | 2008 | Ed Brinksma |
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings | | 978-3-540-42497-0 | 2008 | Mogens Nielsen |
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings | | 978-3-319-69482-5 | 2017 | Oleg Sokolsky · Ji Wang |
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers | | 978-3-540-21671-1 | 2008 | Peter Niebert |
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday | | 978-3-030-22347-2 | 2019 | Tiziana Margaria · Susanne Graf |
Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project | | 978-94-007-1368-0 | 2015 | Jan Tretmans · Brian Nielsen |
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science , Band 1019) | | 978-3-540-60630-7 | 2008 | Bernhard Steffen · Tiziana Margaria · W. Rance Cleaveland · Ed Brinksma |