LEADER 01307nam2-2200373---450-
001 990003339940203316
005 20091027085013.0
010   $a978-3-642-04760-2
035   $a000333994
035   $aUSA01000333994
035   $a(ALEPH)000333994USA01
035   $a000333994
100   $a20091027d2009----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aAutomated technology for verification and analysis$e7th International symposium, ATVA 2009$eMacao, China, october 144-16, 2009$eProceedings$fZhiming Liu, Anders P. Ravn (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aX, 414 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5799
410  1$1001000314960$12001$aLecture notes in computer science$v5799
606   $aInformatica$xCongressi$yMacao$z2009
676   $a005.1
702  1$aLIU,$bZhiming
702  1$aRAVN,$bAnders P.
710 12$aInternational Symposium, ATVA 2009$d<7.;$f2009;$eMacao>$0606564
801  0$aITA$bsalbc$gISBD
912   $a990003339940203316
951   $a001 LNCS 5799$b38873/CBS$c001$d00335346
959   $aBK
969   $aSCI
979   $aRSIAV6$b90$c20091027$lUSA01$h0850
996   $aAutomated technology for verification and analysis$91124897
997   $aUNISA