LEADER 01300nam--2200373---450 
001 990001112080203316
005 20180312154802.0
010   $a3-540-43477-1
035   $a000111208
035   $aUSA01000111208
035   $a(ALEPH)000111208USA01
035   $a000111208
100   $a20021206d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aModel checking software$e9th International SPIN workshop$eGrenoble, France, April 11-13, 2002$eproceedings$fDragan Bosnacki...<et al.>(eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aX, 257 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2318
410   $12001$aLecture notes in computer science$v2318
610 1 $aSoftware$aCongressi$a2002
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a2002
676   $a005.1
702  1$aBosnacki,$bDragan
710 12$aInternational SPIN workshop <9. ; 2002 ; Grenable , France >$0554432
801  0$aITA$bCBS$gISBD
912   $a990001112080203316
951   $a001 LNCS (2318)$b0026829 CBS$c001$d00112086
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021206$lUSA01$h0946
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aModel checking software$9981318
997   $aUNISA