LEADER 01432nam--2200385---450 
001 990000891620203316
005 20180312154819.0
010   $a3-540-42556-X
035   $a0089162
035   $aUSA010089162
035   $a(ALEPH)000089162USA01
035   $a0089162
100   $a20020122d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aProcess algebra and probabilistic methods$eperformance modelling and verification$ejoint International workshop, PAPM-PROBMIV 2001$eAachen, Germany, September 12-14, 2001$eproceedings$fLuca de Alfaro ... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aXII, 215 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2165
410   $12001$aLecture notes in computer science$v2165
610   $aTeorie delle macchine congressi 2000
676   $a511.3 21
702  1$ade Alfaro,$bLuca
710 12$aJoint International workshop PAPM-PROBMIV 2001 <2001 ; Aachen, Germany>$0551594
801  0$aITA$bCBS$gISBD
912   $a990000891620203316
951   $a001 LNCS (2165)$b0027201 CBS$c001$d00110931
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20020122$lUSA01$h0945
979   $aDIGIUSEPPE$b90$c20020307$lUSA01$h1356
979   $c20020403$lUSA01$h1733
979   $aPATRY$b90$c20040406$lUSA01$h1701
996   $aProcess algebra and probabilistic methods$9970245
997   $aUNISA