Holger Hermanns
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
8
Lectures on Formal Methods and Performance Analysis
Computer Aided Verification
Validation of stochastic systems
CONCUR 2006 - Concurrency Theory
Interactive Markov Chains
Tools and Algorithms for the Construction and Analysis of Systems
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
