Context

Context of Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers, Doron A. Peled, Michael J. Wooldrige (eds.), (electronic resource)
Processing Feedback ...