SPIN
20. SPIN 2013: Stony Brook, NY, USA
Ezio Bartocci, C. R. Ramakrishnan (Eds.): Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7976 ISBN 978-3-642-39175-0 [ contents ]
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. Springer 2012 Lecture Notes in Computer Science 7385 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. Springer 2011 Lecture Notes in Computer Science 6823 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. Springer 2010 Lecture Notes in Computer Science 6349 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. Springer 2009 Lecture Notes in Computer Science 5578 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. Springer 2008 Lecture Notes in Computer Science 5156 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. Springer 2008 Lecture Notes in Computer Science 5000 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. Springer 2007 Lecture Notes in Computer Science 4595 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. Springer 2006 Lecture Notes in Computer Science 3925 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. Springer 2005 Lecture Notes in Computer Science 3639 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. Springer 2004 Lecture Notes in Computer Science 2989 ISBN 3-540-21314-7 [ contents ]
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. Springer 2003 Lecture Notes in Computer Science 2648 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. Springer 2002 Lecture Notes in Computer Science 2318 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. Springer 2001 Lecture Notes in Computer Science 2057 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. Springer 2000 Lecture Notes in Computer Science 1885 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. Springer 1999 Lecture Notes in Computer Science 1680 ISBN 3-540-66499-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team