LEADER 01097nam--2200349---450-
001 990000351490203316
035   $a0035149
035   $aUSA010035149
035   $a(ALEPH)000035149USA01
035   $a0035149
100   $a20010307d1985----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $a<<The>> analysis of concurrent systems$eCambridge, september 12-16, 1983$eproceedings$fedited by B. T. Denvir ...<et al.>
210   $aBerlin$cSpringer Verlag$dc1985
215   $aVII, 398 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v207
410   $12001$aLecture notes in computer science$v207
461  1$1001-------$12001
676   $a001.61
702  1$aDENVIR,$bB.T.
801  0$aIT$bsalbc$gISBD
912   $a990000351490203316
951   $a001 LNCS 207$b14384$c001 LNCS$d00102358
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010307$lUSA01$h1459
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aAnalysis of concurrent systems$9343832
997   $aUNISA