Model checking and artificial intelligence /

• Corporate Author: European Conference on Artificial Intelligence Patras, Greece
• Other Authors: Peled, Doron A., 1962- (επιμελητής), Wooldridge, Mike (επιμελητής)
• Format: Conference Proceeding Book
• Language: English; Greek
• Published: Patras : University of Patras, 2008
• Series: Workshop proceedings / University of Patras
• Subjects: Τεχνητή νοημοσύνη