SPIN
15. SPIN 2008: Los Angeles, CA, USA
Klaus Havelund, Rupak Majumdar, Jens Palsberg (Eds.):
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings.
Lecture Notes in Computer Science 5156 Springer 2008, ISBN 978-3-540-85113-4
Contents BibTeX
25 Years of Model Checking
Orna Grumberg, Helmut Veith (Eds.):
25 Years of Model Checking - History, Achievements, Perspectives.
Lecture Notes in Computer Science 5000 Springer 2008, ISBN 978-3-540-69849-4
Contents BibTeX
14. SPIN 2007: Berlin, Germany
Dragan Bosnacki, Stefan Edelkamp (Eds.):
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings.
Lecture Notes in Computer Science 4595 Springer 2007, ISBN 978-3-540-73369-0
Contents BibTeX
13. SPIN 2006: Vienna, Austria
Antti Valmari (Ed.):
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings.
Lecture Notes in Computer Science 3925 Springer 2006, ISBN 3-540-33102-6
Contents BibTeX
12. SPIN 2005: San Francisco, CA, USA
Patrice Godefroid (Ed.):
Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings.
Lecture Notes in Computer Science 3639 Springer 2005, ISBN 3-540-28195-9
Contents BibTeX
11. SPIN 2004: Barcelona, Spain
Susanne Graf, Laurent Mounier (Eds.):
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings.
Lecture Notes in Computer Science 2989 Springer 2004, ISBN 3-540-21314-7
Contents BibTeX
- SPIN 2004 Home Page
10. SPIN 2003: Portland, OR, USA
Thomas Ball, Sriram K. Rajamani (Eds.):
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings.
Lecture Notes in Computer Science 2648 Springer 2003, ISBN 3-540-40117-2
Contents BibTeX
9. SPIN 2002: Grenoble, France
Dragan Bosnacki, Stefan Leue (Eds.):
Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings.
Lecture Notes in Computer Science 2318 Springer 2002, ISBN 3-540-43477-1
Contents BibTeX
8. SPIN 2001: Toronto, Canada
Matthew B. Dwyer (Ed.):
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings.
Lecture Notes in Computer Science 2057 Springer 2001, ISBN 3-540-42124-6
Contents BibTeX
7. SPIN 2000: Stanford, CA, USA
Klaus Havelund, John Penix, Willem Visser (Eds.):
SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings.
Lecture Notes in Computer Science 1885 Springer 2000, ISBN 3-540-41030-9
Contents BibTeX
5./6. SPIN 1999: Trento, Italy / Toulouse, France
Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (Eds.):
Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings.
Lecture Notes in Computer Science 1680 Springer 1999, ISBN 3-540-66499-8
Contents BibTeX
Copyright © Sat May 16 23:42:13 2009
by Michael Ley (ley@uni-trier.de)