Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers | 978-3-540-79706-7 | 2008 | |
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings | 978-3-540-43477-1 | 2002 | Dragan Bosnacki |
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers | 978-3-540-26189-6 | 2008 | Tarja J. Syst?? |
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... Notes in Computer Science , Band 1680) | 978-3-540-66499-4 | 2008 | Mieke Massinek · Dennis Dams · Robert Gerth |