AboutSign inJoin

Ernst-Rüdiger Olderog

About

Ernst-Rüdiger Olderog is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany.

Books

Provably Correct Systems
Provably Correct Systems
Jonathan P. Bowen, Ernst-Rüdiger Olderog, Mike Hinchey
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
Bernhard Steffen, Ernst-Rüdiger Olderog, Wang Yi
Real-Time Systems
Real-Time Systems
Ernst-Rüdiger Olderog, Henning Dierks
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian