01307nam2-2200373---450-99000333994020331620091027085013.0978-3-642-04760-2000333994USA01000333994(ALEPH)000333994USA0100033399420091027d2009----km-y0itay0103----baengDEa|||||||001yyAutomated technology for verification and analysis7th International symposium, ATVA 2009Macao, China, october 144-16, 2009ProceedingsZhiming Liu, Anders P. Ravn (Eds.)Berlin [etc.]Springercopyr. 2009X, 414 p.ill.24 cmLecture notes in computer science57990010003149602001Lecture notes in computer science5799InformaticaCongressiMacao2009005.1LIU,ZhimingRAVN,Anders P.International Symposium, ATVA 2009<7.;2009;Macao>606564ITAsalbcISBD990003339940203316001 LNCS 579938873/CBS00100335346BKSCIRSIAV69020091027USA010850Automated technology for verification and analysis1124897UNISA