Process Algebra and Probabilistic Methods Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, ... Notes in Computer Science, 2165, Band 2165) | DealShopping Deutschland