LEADER 00770nam0-22002411i-450-
001 990001208950403321
035   $a000120895
035   $aFED01000120895
035   $a(Aleph)000120895FED01
035   $a000120895
100   $a20000920d1985----km-y0itay50------ba
101 0 $aeng
200 1 $aAnalysis of concurrent systems$eProceedings of a Workshop held at Clare College, Cambridge, September 12-16, 1983$fEdited by B.T. Denvir et al.
210   $aBerlin [etc.]$cSpringer-Verlag$d1985
225 1 $aLecture notes in computer science$v207
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001208950403321
952   $aC-16-(207$b6653$fMA1
959   $aMA1
996   $aAnalysis of concurrent systems$9343832
997   $aUNINA
DB    $aING01