SPIN (Computer file)

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

C. R. Ramakrishnan, Ezio Bartocci

Model checking software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

Thomas Ball, Sriram K. Rajamani (eds.).

Model checking software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

Patrice Godefroid (ed.).

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

Dennis Dams ... [et al.], (Eds.)

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September ... (Lecture Notes in Computer Science)

International SPIN Workshop (5th 1999 Trento, Italy)

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

edited by Jaco Pol, Michael Weber

The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors.

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science)

Antti Valmari

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science)

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

edited by Alex Groce, Madanlal Musuvathi