LEADER 01315nam--2200385---450-
001 990002951670203316
005 20070629095130.0
010   $a3-540-23610-4
035   $a000295167
035   $aUSA01000295167
035   $a(ALEPH)000295167USA01
035   $a000295167
100   $a20070629d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aAutomated technology for Verification and Analysis$eSecond International Conference, ATVA 2004$eTaipei, Taiwan, ROC, October 31 - November 3, 2004$eProceedings$fFarn Wang... (Ed.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXII, 506 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v3299
410  0$12001$aLecture notes in computer science$v3299
454  1$12001
461  1$1001-------$12001
606   $aInformatica$xCongressi$z2004
676   $a005.1
702  1$aWANG,$bFarn
710 12$aInternational conference, ATVA 2004$d< 2. ;$f2004 ;$eTaipei >$0597488
801  0$aIT$bsalbc$gISBD
912   $a990002951670203316
951   $a001 LNCS 3299$b31356/CBS$c001$d00215051
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070629$lUSA01$h0951
996   $aAutomated technology for Verification and Analysis$91031766
997   $aUNISA