Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /

Benzer Materyaller

• Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /
  Yazar:: Doron A. Peled, Michael J. Wooldridge
  Baskı/Yayın Bilgisi: (2009, c2009)
• Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
  Yazar:: Stefan Edelkamp, Alessio Lomuscio
  Baskı/Yayın Bilgisi: (2007, c2007)
• Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /
  Yazar:: Gilles Barthe, Manuel Hermenegildo
  Baskı/Yayın Bilgisi: (2010, c2010)
• 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 : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings /
  Yazar:: Alex Groce, Madanlal Musuvathi
  Baskı/Yayın Bilgisi: (2011, c2011)