SPIN
19. SPIN 2012: Oxford, UK
Alastair F. Donaldson, David Parker (Eds.):
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings.
Lecture Notes in Computer Science 7385 Springer 2012, ISBN 978-3-642-31758-3
Contents 
18. SPIN 2011: Snowbird, UT, USA
Alex Groce, Madanlal Musuvathi (Eds.):
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings.
Lecture Notes in Computer Science 6823 Springer 2011, ISBN 978-3-642-22305-1
Contents
17. SPIN 2010: Enschede, The Netherlands
Jaco van de Pol, Michael Weber (Eds.):
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings.
Lecture Notes in Computer Science 6349 Springer 2010, ISBN 978-3-642-16163-6
Contents
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
Last update Sat May 18 19:49:38 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
