Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Bok av Holger Hermanns