SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /

Benzer Materyaller

• Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /
  Yazar:: Klaus Havelund, Rupak Majumdar, Jens Palsberg
  Baskı/Yayın Bilgisi: (2008, c2008)
• Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
  Yazar:: Patrice Godefroid
  Baskı/Yayın Bilgisi: (2005, c2005)
• Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
  Yazar:: Thomas Ball, Sriram K. Rajamani
  Baskı/Yayın Bilgisi: (2003, c2003)
• Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
  Yazar:: Jaco Pol, Michael Weber
  Baskı/Yayın Bilgisi: (2010, c2010)
• Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
  Yazar:: Antti Valmari
  Baskı/Yayın Bilgisi: (2006, c2006)