Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Lignende værker

• Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /
  af: Doron A. Peled, Michael J. Wooldridge
  Udgivet: (2009)
• Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
  af: Ron Meyden, Jan-Georg Smaus
  Udgivet: (2011)
• Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
  af: Dragan Bo.na.ki, Stefan Edelkamp
  Udgivet: (2007)
• Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
  af: Dragan Bo.na.ki, Stefan Leue
  Udgivet: (2002)
• Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
  af: Jaco Pol, Michael Weber
  Udgivet: (2010)