Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers .. / Lecture Notes in Artificial Intelligence)
Hardcover: 185 pages
Publisher: Springer (August 9, 2007)
Language: English
ISBN-10: 3540741275