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, Band 5348)

von: Doron A. Peled · M.J. Wooldridge Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-00430-8 ISBN-10: 3-642-00430-X Springer · 2009