Holger Hermanns profile picture

Holger Hermanns

Is this your author profile? Create an account to customize it!

Stand Alone

CONCUR 2006 - Concurrency Theory
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
Computer Aided Verification
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) July 8-11, 2020, Saarbrücken, Germany
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings