dblp.uni-trier.de www.uni-trier.de

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 BibTeX

Copyright © Sat May 16 23:30:38 2009 by Michael Ley (ley@uni-trier.de)