Model Checking and Artificial Intelligence
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 BibTeX
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 BibTeX
Copyright © Sat May 16 23:30:38 2009
by Michael Ley (ley@uni-trier.de)