1
Process Algebra and Probabilistic Methods. Performance Modelling and Verification [E-Book] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings /