Title: Model Checking and Artificial Intelligence
Subjects: Künstliche Intelligenz, Model Checking, Congresses, Verification, Kongress, Computer systems, Artificial intelligence, Computer software, Computers, Computer software, verification
Places: Patras <2008>