01
Interactive Markov Chains
The earliest high-confidence catalog date in this author overview is 2002.
Author
Holger Hermanns
8 cataloged contributions
2002–2020 across 7 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Holger Hermanns, drawn from catalog context and salon activity when available.
02
Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures
A clearly attributed work with a supported 2003 catalog date.
03
Process Algebra and Probabilistic Methods : Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
A clearly attributed work with a supported 2003 catalog date.
04
CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006
A clearly attributed work with a supported 2006 catalog date.
05
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
A clearly attributed work with a supported 2006 catalog date.
06
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
A clearly attributed work with a supported 2007 catalog date.
The catalog
Bibliography
7 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0