ISBN 9783642004308 books & textbook
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)
Peled, Doron A. Wooldridge, Michael
Springer /2009-02-27 Paperback / 196 Pages
isbn-10: 364200430X / isbn-13: 9783642004308
