21870192
9783642206733
van der Meyden, Ron is the author of '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)', published 2011 under ISBN 9783642206733 and ISBN 3642206735.
[read more]