CURRENTLY SOLD OUT

Process Algebra and Probabilistic Methods - Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12-14, 2001 Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2001)