Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 6572Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642206740
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.