Holger Hermanns
· 8 obras en el catálogo
Obras

Validation of stochastic systems

Measurement, Modelling and Evaluation of Computing Systems
Lectures on Formal Methods and Performance Analysis
Tools and Algorithms for the Construction and Analysis of Systems
Computer Aided Verification
CONCUR 2006 - Concurrency Theory
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
