| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 | 978-3-540-37376-6 | 2010 | Christel Baier |
| Interactive Markov Chains: The Quest for Quantified Quality | 978-3-540-44261-5 | 2008 |
| Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First Eef/Euro Summer School on ... Notes in Computer Science, Band 2090) | 978-3-540-42479-6 | 2001 | Ed Brinksma · Joost-Pieter Katoen |
| Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, ... in Computer Science , Band 12040) | 978-3-030-43023-8 | 2020 |
| Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... Notes in Computer Science , Band 2399) | 978-3-540-43913-4 | 2009 | Roberto Segala |
| Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... Notes in Computer Science , Band 3920) | 978-3-540-33056-1 | 2008 | Jens Palsberg |
| Validation of Stochastic Systems: A Guide to Current Research | 978-3-540-22265-1 | 2008 | Markus Siegle · Boudewijn R. Haverkort · Christel Baier · Joost-Pieter Katoen |