Holger Herrmann · Holger Heuermann
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Interactive Markov Chains: The Quest for Quantified Quality | 978-3-540-44261-5 | 2002 | |
| Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July ... | 978-3-540-42479-6 | 2001 | Ed Brinksma · Joost-Pieter Katoen |
| Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... | 978-3-540-43913-4 | 2002 | Roberto Segala |
| Validation of Stochastic Systems: A Guide to Current Research | 978-3-540-22265-1 | 2004 | Christel Baier · Boudewijn R. Haverkort · Joost-Pieter Katoen · Markus Siegle |