Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /

Benzer Materyaller

• Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
  Yazar:: Dragan Bo.na.ki, Stefan Edelkamp
  Baskı/Yayın Bilgisi: (2007, c2007)
• Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings /
  Yazar:: Corina S. P.s.reanu
  Baskı/Yayın Bilgisi: (2009, c2009)
• Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings /
  Yazar:: Susanne Graf, Laurent Mounier
  Baskı/Yayın Bilgisi: (2004, c2004)
• Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
  Yazar:: Antti Valmari
  Baskı/Yayın Bilgisi: (2006, c2006)
• 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)