Holger Hermanns
Books
- Validation of stochastic systems
- CONCUR 2006 - Concurrency Theory
- Tools and Algorithms for the Construction and Analysis of Systems
- Measurement, Modelling and Evaluation of Computing Systems
- Lectures on Formal Methods and Performance Analysis
- Interactive Markov Chains
- Process Algebra and Probabilistic Methods : Performance Modeling and Verification
- Computer Aided Verification
Author data: Open Library