01315nam--2200385---450-99000295167020331620070629095130.03-540-23610-4000295167USA01000295167(ALEPH)000295167USA0100029516720070629d2004----km-y0itay0103----baengDEa|||||||001yyAutomated technology for Verification and AnalysisSecond International Conference, ATVA 2004Taipei, Taiwan, ROC, October 31 - November 3, 2004ProceedingsFarn Wang... (Ed.)Berlin [etc.]Springercopyr. 2004XII, 506 p.ill.24 cm.Lecture notes in computer science32992001Lecture notes in computer science32992001001-------2001InformaticaCongressi2004005.1WANG,FarnInternational conference, ATVA 2004< 2. ;2004 ;Taipei >597488ITsalbcISBD990002951670203316001 LNCS 329931356/CBS00100215051BKSCISENATORE9020070629USA010951Automated technology for Verification and Analysis1031766UNISA