Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642206733
Format: Paperback (142 pages) Publisher: Springer Published: 04 May 2011
Save for later