search author

Model Checking and Artificial Intelligence

MoChArt 2010: Atlanta, GA, USA

Ron van der Meyden, Jan-Georg Smaus (Eds.): Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6572 Springer 2011, ISBN 978-3-642-20673-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

MoChArt 2008: Patras, Greece

Doron Peled, Michael Wooldridge (Eds.): Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5348 Springer 2009, ISBN 978-3-642-00430-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

MoChArt 2006: Riva del Garda, Italy

Stefan Edelkamp, Alessio Lomuscio (Eds.): Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4428 Springer 2007, ISBN 978-3-540-74127-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML