Model Checking and Artificial Intelligence
Subtitle: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
By: edited by Ron Meyden, Jan-Georg Smaus
Contributors: Smaus, Jan-Georg; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6572
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642206733; 9783642206740
Subjects: Logic design; Software engineering; Computer science; Artificial intelligence