Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (2318)
Bok · Engelsk · c2002
Vis mer

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

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (3639)
Bok · Engelsk · c2005
Vis mer

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (1885)
Bok · Engelsk · c2000
Vis mer

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (3925)
Bok · Engelsk · c2006
Vis mer

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (2057)
Bok · Engelsk · c2001
Vis mer

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

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (2648)
Bok · Engelsk · c2003
Vis mer

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (2989)
Bok · Engelsk · c2004
Vis mer

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

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (1680)
Bok · Engelsk · c1999
Vis mer