Holger Hermanns
Holger Hermanns
4 books in the database
Books
Interactive Markov ChainsHolger Hermanns
Interactive Markov Chains
Holger Hermanns · 2002
Measurement, Modelling and Evaluation of Computing SystemsHolger Hermanns
Measurement, Modelling and Evaluation of Computing Systems
Holger Hermanns · 2020
Tools and Algorithms for the Construction and Analysis of SystemsHolger Hermanns
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns · 2006
Process Algebra and Probabilistic Methods : Performance Modeling and VerificationHolger Hermanns
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
Holger Hermanns · 2003
Co-authored books and collections
Books that list Holger Hermanns among their authors but not as the lead author: co-written works, collections and compilations.
Validation of stochastic systemsChristel Baier
Validation of stochastic systems
Christel Baier · 2004
Computer Aided VerificationWerner Damm
Computer Aided Verification
Werner Damm · 2007
CONCUR 2006 - Concurrency TheoryChristel Baier
CONCUR 2006 - Concurrency Theory
Christel Baier · 2006
Lectures on Formal Methods and Performance AnalysisEd Brinksma
Lectures on Formal Methods and Performance Analysis
Ed Brinksma · 2003