LEADER 01739nam2-2200469li-450 
001 990000209070203316
005 20180312154628.0
010   $a3-540-66499-8
035   $a0020907
035   $aUSA010020907
035   $a(ALEPH)000020907USA01
035   $a0020907
100   $a20001109d1999----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aTheoretical and practical aspects of SPIN model checking$e5th and 6th International SPIN workshop$eTrento, Italy, July 5, 1999: Tolosa, France, September 21 and 24, 1999$eproceedings$fDennis Dams ...[et al.] (eds.)
210   $aBerlino$cSpringer-Verlag$dcopyr. 1999
215   $aVI; 276 p.$cill.$d22 cm
225 2 $aLecture notes in computer science$v1680
410  0$10010020264$12001$aLecture notes in computer science$v1680
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a1999
610 1 $aSPIN$aCongressi$a1999
610 1 $aCongressi$aTolosa$a1999
676   $a005.2
702  1$aDams,$bDennis
710 12$aInternational SPIN workshops <5. ; Trento ; 1999>$0745574
712 12$aInternational SPIN workshops <6. ; Tolosa ; 1999>
801   $aIT$bCBS$gISBD
912   $a990000209070203316
951   $a001 LNCS (1680)$b0024054 CBS$c001$d00100930
959   $aBK
969   $aSCI
979   $c19991028
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010612$lUSA01$h1055
979   $aALANDI$b90$c20010612$lUSA01$h1128
979   $aALANDI$b90$c20010612$lUSA01$h1136
979   $aALANDI$b90$c20010612$lUSA01$h1142
979   $c20020403$lUSA01$h1629
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aTheoretical and practical aspects of SPIN model checking$91487139
997   $aUNISA