Holger Hermanns

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...

Principles of Model Checking

Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, Discotec 2018, Madrid, Spain...

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings