Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... Notes in Computer Science, 2399, Band 2399)
Der Band fasst die Ergebnisse des zweiten internationalen Workshops zur Prozessalgebra und probabilistischen Methoden zusammen, beleuchtet neue Modell ...