Model checking and artificial intelligence: 5th international workshop, MoChArt 2008, Patras,… by Wooldridge, Michael J., Peled, Doron, MoChArt, Patras), International Workshop on Model Checking and Artificial Intelligence, Patras) fromLecture Notes in Computer Science 0 Type: Book
