Books by Ernst-Rüdiger Olderog

3 titles available, newest first by original publication date.

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

Ernst-Rüdiger Olderog

$84.99

Real-Time Systems

Real-Time Systems

Ernst-Rüdiger Olderog

$129.99

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Ernst-Rüdiger Olderog

$67.99