Holger Hermanns

Identifiers

Open LibraryOL3180218A

Top Subjects

Mathematics (1)
Probability & Statistics - General (1)
Computer Science (1)
Computers (1)
General (1)
Computers / Programming / Software Development (1)
Computer Books: General (1)

Books by Holger Hermanns

Total count: 9

Interactive Markov Chains1 edition

Springer2002-10-28
Process Algebra and Probabilistic Methods : Performance Modeling and VerificationSecond Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Springer London, Limited2003-01-01
Lectures on Formal Methods and Performance AnalysisFirst EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures

Springer London, Limited2003-01-01
Validation of Stochastic SystemsA Guide to Current Research

Springer London, Limited2004-01-01
Tools and Algorithms for the Construction and Analysis of Systems12th 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

Springer London, Limited2006-01-01
CONCUR 2006 - Concurrency Theory17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006

Springer London, Limited2006-01-01
Computer Aided Verification19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Springer London, Limited2007-01-01
Measurement, Modelling and Evaluation of Computing Systems20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, ...

Springer2020-03-06
Dependable Software Engineering. Theories, Tools, and Applications9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Springer2023-01-01