Ernst-Rüdiger Olderog

No bio available. Add one in Open Library.

Books by Ernst-Rüdiger Olderog (50 max)

+ shelf+ list

Provably Correct Systems

2017

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

+ shelf+ list

Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen

1981

Ernst-Rüdiger Olderog

+ shelf+ list

Programmverifikation Sequentielle, parallele und verteilte Programme

1994

Krzysztof R. Apt, Ernst-Rüdiger Olderog

+ shelf+ list

Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)

1996

Krzysztof R. Apt, Ernst-Rüdiger Olderog

+ shelf+ list

Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. Proceedings

2003

Werner Damm, Ernst-Rüdiger Olderog

+ shelf+ list

Correct System Design Recent Insights and Advances

2003

Ernst-Rüdiger Olderog, Bernhard Steffen

+ shelf+ list

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

2021

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi