Model Checking and Artificial Intelligence
Subtitle: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Publisher: Springer
Published: 2009
Language: eng
ISBN-13: 9783642004315