LEADER 01249nam--2200373---450-
001 990001773930203316
005 20040621093334.0
010   $a3-540-40117-2
035   $a000177393
035   $aUSA01000177393
035   $a(ALEPH)000177393USA01
035   $a000177393
100   $a20040621d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aModel checking software$e10. International SPIN workshop$ePortland, Or, USA, May 9-10, 2003$eproceedings$fThomas Ball, Sriram K. Rajamani (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aVIII, 239 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2648
410  0$12001$aLecture notes in computer science$v2648
454  1$12001
461  1$1001-------$12001
702  1$aBALL,$bThomas
702  1$aRAJAMANI,$bSriram K.
710 12$aInternational SPIN workshop on model checking of software <10. ; 2003 ; Portland>$0563350
801  0$aIT$bsalbc$gISBD
912   $a990001773930203316
951   $a001 LNCS 2648$b29501/CBS$c001 LNCS$d00113884
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040621$lUSA01$h0933
996   $aModel checking software$9952031
997   $aUNISA