01432nam--2200385---450 99000089162020331620180312154819.03-540-42556-X0089162USA010089162(ALEPH)000089162USA01008916220020122d2001----km-y0ITAy0103-------baENGDEProcess algebra and probabilistic methodsperformance modelling and verificationjoint International workshop, PAPM-PROBMIV 2001Aachen, Germany, September 12-14, 2001proceedingsLuca de Alfaro ... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001XII, 215 p.ill.20 cmLecture notes in computer science21652001Lecture notes in computer science2165Teorie delle macchine congressi 2000511.3 21de Alfaro,LucaJoint International workshop PAPM-PROBMIV 2001 <2001 ; Aachen, Germany>551594ITACBSISBD990000891620203316001 LNCS (2165)0027201 CBS00100110931BKSCIALANDI9020020122USA010945DIGIUSEPPE9020020307USA01135620020403USA011733PATRY9020040406USA011701Process algebra and probabilistic methods970245UNISA