| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings | | 978-3-540-43997-4 | 2008 | Kim G. Larsen |
| Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First Eef/Euro Summer School on ... Notes in Computer Science, Band 2090) | | 978-3-540-42479-6 | 2001 | Holger Hermanns · Joost-Pieter Katoen |
| 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 | Kim G. Larsen · Bernhard Steffen · Tiziana Margaria · W. Rance Cleaveland |
| Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas "95, Aarhus, Denmark, May 19-20, 1995: Selected Papers | | 978-0-387-60630-9 | 1995 |
| Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... Notes in Computer Science , Band 1217) | | 978-3-540-62790-6 | 2008 |