Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /

Ítems similars

• Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
  per: Ron Meyden, Jan-Georg Smaus
  Publicat: (2011)
• Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
  per: Stefan Edelkamp, Alessio Lomuscio
  Publicat: (2007)
• Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /
  per: Francesco Logozzo, Doron A. Peled, Lenore D. Zuck
  Publicat: (2008)
• Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /
  per: Klaus Havelund, Rupak Majumdar, Jens Palsberg
  Publicat: (2008)
• Artificial Intelligence: Theories, Models and Applications : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /
  per: John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos
  Publicat: (2008)