Process Algebra and Probabilistic Methods Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, ... Notes in Computer Science, 2165, Band 2165)
Ein Fachband aus dem internationalen Workshop PAPM-PROBMIV 2001 in Aachen, der innovative Ansätze zur Analyse von verteilten Systemen mit Prozessalge ...