LEADER 01337nam--2200385---450-
001 990003072940203316
005 20080411154236.0
010   $a3-540-47237-1
035   $a000307294
035   $aUSA01000307294
035   $a(ALEPH)000307294USA01
035   $a000307294
100   $a20080229d2006----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aAutomated technology for Verification and Analysis$e4th International Symposium, ATVA 2006$eBeijing, China, October 2006$eProceedings$fSusanne Graf, Wenhui Zhang (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aXIV, 537 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v4218
410  0$12001$aLecture notes in computer science$v4218
606   $aInformatica$xCongressi$yBeijing$z2006
676   $a005.1
702  1$aGRAF,$bSusanne
702  1$aZHANG,$bWenhui
710 12$aInternational Symposium, ATVA 2006$d<4;$f2006;$eBeijing>$0600421
801  0$aITA$bsalbc$gISBD
912   $a990003072940203316
951   $a001 LNCS 4218$b34328/CBS$c001$d00217126
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080229$lUSA01$h1415
979   $aANGELA$b90$c20080411$lUSA01$h1542
996   $aAutomated technology for Verification and Analysis$91023501
997   $aUNISA