SPIN

16. SPIN 2009: Grenoble, France

Corina S. Pasareanu (Ed.): Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Lecture Notes in Computer Science 5578 Springer 2009, ISBN 978-3-642-02651-5
Contents

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

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

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

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

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

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

- 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

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

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

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

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