01337nam--2200385---450-99000307294020331620080411154236.03-540-47237-1000307294USA01000307294(ALEPH)000307294USA0100030729420080229d2006----km-y0itay0103----baengDEa|||||||001yyAutomated technology for Verification and Analysis4th International Symposium, ATVA 2006Beijing, China, October 2006ProceedingsSusanne Graf, Wenhui Zhang (Eds.)Berlin [etc.]Springercopyr. 2006XIV, 537 p.ill.24 cm.Lecture notes in computer science42182001Lecture notes in computer science4218InformaticaCongressiBeijing2006005.1GRAF,SusanneZHANG,WenhuiInternational Symposium, ATVA 2006<4;2006;Beijing>600421ITAsalbcISBD990003072940203316001 LNCS 421834328/CBS00100217126BKSCIANGELA9020080229USA011415ANGELA9020080411USA011542Automated technology for Verification and Analysis1023501UNISA