Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog
2 books in the database
Books
Co-authored books and collections
Books that list Ernst-Rüdiger Olderog among their authors but not as the lead author: co-written works, collections and compilations.
Provably Correct SystemsMike Hinchey
Provably Correct Systems
Mike Hinchey · 2017
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm · 2003
ProgrammverifikationKrzysztof R. Apt
Programmverifikation
Krzysztof R. Apt · 1996
ProgrammverifikationKrzysztof R. Apt
Programmverifikation
Krzysztof R. Apt · 1994