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
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
Computer Aided Verification