Author

Holger Hermanns

9 books found

Cover of Measurement, Modelling and Evaluation of Computing Systems

Measurement, Modelling and Evaluation of Computing Systems

Holger Hermanns · First published 2020

Cover of Concur 2006 - Concurrency Theory

Concur 2006 - Concurrency Theory

Christel Baier,Holger Hermanns · First published 2008

Cover of Computer Aided Verification

Computer Aided Verification

Werner Damm, Holger Hermanns · First published 2007

Cover of CONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

Christel Baier, Holger Hermanns · First published 2006

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Holger Hermanns, Jens Palsberg · First published 2006

Cover of Validation of stochastic systems

Validation of stochastic systems

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle · First published 2004

Cover of Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Holger Hermanns, Roberto Segala · First published 2003

Cover of Interactive Markov Chains

Interactive Markov Chains

Holger Hermanns · First published 2002

Cover of Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen · First published 2001