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 /

Lignende værker

• Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
  af: Dragan Bo.na.ki, Stefan Leue
  Udgivet: (2002, c2002)
• Modern Aspects of Spin Physics /
  af: Walter Pötz, Ulrich Hohenester, Jaroslav Fabian
  Udgivet: (2007, c2007)
• SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
  af: Klaus Havelund, John Penix, Willem Visser
  Udgivet: (2000, c2000)
• Spin Electronics /
  af: Michael Ziese, Martin J. Thornton
  Udgivet: (2001, c2001)
• Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
  af: Dragan Bo.na.ki, Stefan Edelkamp
  Udgivet: (2007, c2007)