Model Checking and Artificial Intelligence: 5th

Model Checking and Artificial Intelligence: 5th Inteational Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited .. / Lecture Notes in Artificial Intelligence)

Hardcover: 189 pages

Publisher: Springer (February 27, 2009)

Language: English

ISBN-10: 364200430X