Model Checking and Artificial Intelligence: 6th

Model Checking and Artificial Intelligence: 6th Inteational Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited .. / Lecture Notes in Artificial Intelligence)

Hardcover: 150 pages

Publisher: Springer (May 4, 2011)

Language: English

ISBN-10: 3642206735