Author

Holger Hermanns

8 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

8 books
Computer Aided Verification

Computer Aided Verification

Year unknown Werner Damm and Holger Hermanns
CONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

Year unknown Christel Baier and Holger Hermanns
Interactive Markov Chains

Interactive Markov Chains

Year unknown
Lectures on Formal Methods and Pe...

Lectures on Formal Methods and Performance Analysis

Year unknown Ed Brinksma, Holger Hermanns, and Joost-Pieter Katoen
Measurement, Modelling and Evaluation of Computing Systems

Measurement, Modelling and Evaluation of Computing Systems

Year unknown
Process Algebra and Probabilistic...

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Year unknown Holger Hermanns and Roberto Segala
Tools and Algorithms for the Cons...

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Holger Hermanns and Jens Palsberg
Validation of stochastic systems

Validation of stochastic systems

Year unknown Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, and Markus Siegle

Fetched from OpenLibrary. Some translations may appear as separate works.