OtiumSessione
Sessione
Non abbiamo ancora una biografia di Holger Hermanns.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Validation of stochastic systems
2004
Interactive Markov Chains
2003
Tools and Algorithms for the Construction and Analysis of Systems
2006
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
2003
Measurement, Modelling and Evaluation of Computing Systems
2020
Lectures on Formal Methods and Performance Analysis
2003
CONCUR 2006 - Concurrency Theory
2006
Computer Aided Verification
2007