Ernst-Rüdiger Olderog

Books
Model Checking, Synthesis, and Learning Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
2021
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017
Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
2009