Model checking and artificial intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

• 作者：edited by Doron A. Peled, Michael J. Wooldridge
• 出版者：Springer Berlin Heidelberg
• 出版地：Berlin, Heidelberg :
• 語文：英語
• 叢書名：Lecture notes in computer science ;
• 電子資源：連結全文
• ISBN/ISSN/ISRC：9783642004315 ((electronic bk.)) ; 9783642004308 ((paper))
• 作者：Peled Doron A;Wooldridge Michael J
• 索書號：006.3
• 團體作者：