LEADER 01366nam--2200361---450 
001 990001114530203316
005 20180312154621.0
010   $a3-540-43913-7
035   $a000111453
035   $aUSA01000111453
035   $a(ALEPH)000111453USA01
035   $a000111453
100   $a20021211d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aProcess algebra and probabilistic methods$eperformance modelling and verification$eSecond joint International workshop, PAPM-PROBMIV 2002$eCopenhagen, Denmark, July 25-26, 2002$eproceedings$fHolger Hermanns... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aX, 215 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2399
410   $12001$aLecture notes in computer science$v2399
610   $aTeorie delle macchine$acongressi$a2002
676   $a511.3 21
702  1$aHermanns,$bHolger
710 12$aJoint International workshop PAPM-PROBMIV 2002 <2. ; 2002 ; Copenhagen, Denmark>$0554498
801  0$aITA$bCBS$gISBD
912   $a990001114530203316
951   $a001 LNCS (2399)$b0027056 CBS$c001$d00112062
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021211$lUSA01$h1232
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aProcess algebra and probabilistic methods$9981445
997   $aUNISA