01227nam2-2200349---450-99000332687020331620091007092659.0978-3-642-00430-8000332687USA01000332687(ALEPH)000332687USA0100033268720091007d2009----km-y0itay50------baengDEa---||||001yyModel checking and artificial intelligence5th international workshop, MoChArt 2008Patras, Greece, july 21, 2008revised selected and invited papersDoron A. Peled...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2009188 p.ill.24 cmLecture notes in artificial intelligence53480010003152212001Lecture notes in artificial intelligence5348Intelligenza artificialeCongressiPatras2009006.3PELED,Doron A.ITsalbcISBD990003326870203316006.3 LNAI 534838003/CBS006.300218152BKSCIRSIAV79020091007USA010927Model Checking and Artificial Intelligence772652UNISA