LEADER 01250nam--2200361---45--
001 990002962100203316
005 20070809103809.0
010   $a3-540-22342-8
035   $a000296210
035   $aUSA01000296210
035   $a(ALEPH)000296210USA01
035   $a000296210
100   $a20070809d2004----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aComputer aided verification$e16th International conference, CAV 2004$eBoston, MA, USA, July 13-17, 2004$eproceedings$fRajeev Alur, Doron A. Peled (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXIII, 536 p.$cill.$d20 cm
225   $aLecture notes in computer science$v3114
410   $12001$aLecture notes in computer science$v3114
610 1 $aSistemi operativi$xModelli matematici$xCongressi$yBoston$z2004
676   $a005.1
702  1$aALUR,$bRajeev
702  1$aPELED,$bDoron A.
710 12$aInternational conference, CAV 2004$d<16. ;$f2004 ;$eBoston>$0597807
801  0$aITA$bCBS$gISBD
912   $a990002962100203316
951   $a001 LNCS 3114$b31186/CBS$c001$d00215282
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070809$lUSA01$h1038
996   $aComputer aided verification$91026813
997   $aUNISA