Holger Hermanns
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryMM
Measurement, Modelling and Evaluation of Computing Systems
cover - Image source: Open LibraryVO
Validation of stochastic systems
cover - Image source: Open LibraryIM
Interactive Markov Chains
cover - DSDependable Software Engineering...Holger Hermanns
Dependable Software Engineering. Theories, Tools, and Applications
no cover - C2CONCUR 2006 - Concurrency TheoryHolger Hermanns
CONCUR 2006 - Concurrency Theory
no cover - LOLectures on Formal Methods and...Holger Hermanns
Lectures on Formal Methods and Performance Analysis
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Measurement, Modelling and Evaluation of Computing Systems
- Open Work
Validation of stochastic systems
- Open Work
Interactive Markov Chains
- Open Work
Dependable Software Engineering. Theories, Tools, and Applications
- Open Work
CONCUR 2006 - Concurrency Theory
- Open Work
Lectures on Formal Methods and Performance Analysis