01366nam--2200361---450 99000111453020331620180312154621.03-540-43913-7000111453USA01000111453(ALEPH)000111453USA0100011145320021211d2002----km-y0ITAy0103-------baENGDEProcess algebra and probabilistic methodsperformance modelling and verificationSecond joint International workshop, PAPM-PROBMIV 2002Copenhagen, Denmark, July 25-26, 2002proceedingsHolger Hermanns... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002X, 215 p.ill.20 cmLecture notes in computer science23992001Lecture notes in computer science2399Teorie delle macchinecongressi2002511.3 21Hermanns,HolgerJoint International workshop PAPM-PROBMIV 2002 <2. ; 2002 ; Copenhagen, Denmark>554498ITACBSISBD990001114530203316001 LNCS (2399)0027056 CBS00100112062BKSCIDIGIUSEPPE9020021211USA011232PATRY9020040406USA011717Process algebra and probabilistic methods981445UNISA