LEADER 01351nam--2200397---450-
001 990002411590203316
005 20050411184244.0
010   $a3-540-21314-7
035   $a000241159
035   $aUSA01000241159
035   $a(ALEPH)000241159USA01
035   $a000241159
100   $a20050407d2004----km-y0itaa50------ba
101 0 $aeng
102   $aDE
105   $aa---z---101yy
200 1 $aModel Checking software$e11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004$eproceedings$fSusanne Graf, Laurent Mounier (Eds.)
210   $aBerlin$cSpringer$dcopyr. 2004
215   $aX,307 p.$cill.$d24 cm
225   $aLecture notes in computer Science$v2989
410  0$12001$aLecture notes in computer Science$v2989
606 0 $aElaboratori elettronici$xProgrammazione$xCongressi$z2004
606 0 $aSPIN$xCongressi$z2004
676   $a005.2
702   $aGRAF,$bSusanne
702   $aMOUNIER,$bLaurent
710 12$aInternational SPIN Workshop$d<11.;$f2004;$eBarcelona>.$0572571
912   $a990002411590203316
951   $a001 LNCS/2989$b0031237 CBS$c001$d00114845
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20050407$lUSA01$h1515
979   $aANGELA$b90$c20050411$lUSA01$h1840
979   $aANGELA$b90$c20050411$lUSA01$h1842
996   $aModel Checking software$91066291
997   $aUNISA