LEADER 01308nam--2200385---450 
001 990000957470203316
005 20180312154718.0
010   $a3-540-42124-6
035   $a0095747
035   $aUSA010095747
035   $a(ALEPH)000095747USA01
035   $a0095747
100   $a20020212d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aModel checking software$e8th International SPIN workshop$eToronto, Canada, May 19-20, 2001$eproceedings$fMatthew Dwyer (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aVI, 311 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2057
410   $12001$aLecture notes in computer science$v2057
610 1 $aSoftware$aCongressi$a2001
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a2001
676   $a005.1
702  1$aDwyer,$bMatthew
710 12$aInternational SPIN workshop <8. ; 2001 ; Toronto, Canada>$0552619
801  0$aITA$bCBS$gISBD
912   $a990000957470203316
951   $a001 LNCS (2057)$b0026430 CBS$c001$d00104796
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20020212$lUSA01$h1607
979   $c20020403$lUSA01$h1738
979   $aPATRY$b90$c20040406$lUSA01$h1706
996   $aModel checking software$9973452
997   $aUNISA