LEADER 02096nam--2200541---450-
001 990001154810203316
005 20030623114000.0
010   $a3-540-44121-2
035   $a000115481
035   $aUSA01000115481
035   $a(ALEPH)000115481USA01
035   $a000115481
100   $a20021217d2002----km-y0itay0103----ba
101   $aENG
105   $a||||||||001yy
200 1 $aVerification, Model checking, and abstract interpretation$eThird International Workshop,VMCAI 2002$eVenice,Italy,January 21-22 2002$eRevised papers$fAgostino Cortesi(ed.)
210   $aBerlin$cSpringer-Verlag$dcopyr.2002
215   $aVIII,330 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2294
606 Pr$aProgrammazione Congressi 2002
676 00$a005.1
702   $aCortesi$bAgostino
710   $aInternational Workshop,VMCAI 2002<3 ; 2002 ; Venice Italy>$0555254
801  0$aIT$bCBS$gISBD
912   $a990001154810203316
951   $a001 LNCS (2294)$b0026802 CBS$c001$d00112114
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021217$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030310$lUSA01$h1222
979   $aDIGIUSEPPE$b90$c20030530$lUSA01$h1247
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1655
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1657
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1536
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1541
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1543
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1156
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1159
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1205
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1211
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1217
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1222
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1229
979   $aDIGIUSEPPE$b90$c20030623$lUSA01$h1139
979   $aDIGIUSEPPE$b90$c20030623$lUSA01$h1140
979   $aPATRY$b90$c20040406$lUSA01$h1721
996   $aVerification, Model checking, and abstract interpretation$9983474
997   $aUNISA