MPG.eBooks - Author Search Results

Cover Image

1

Correct System Design : Recent Insights and Advances

by Olderog, Ernst-Rüdiger
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

2

Programmverifikation : Sequentielle, parallele und verteilte Programme

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994

Springer Berlin Heidelberg

Cover Image

3

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997

Springer New York

Cover Image

4

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991

Springer New York

Cover Image

5

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009

Springer London

Cover Image

6

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 Proceeding...

by Damm, Werner
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Olderog, Ernst -Rüdiger...”

Cover Image

7

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. Proceed...

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Olderog, Ernst-Rüdiger...”

Cover Image

8

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

Published 2021

Springer International Publishing

Other Authors: “...Olderog, Ernst-Rüdiger...”

Cover Image

9

Provably Correct Systems

Published 2017

Springer International Publishing

Other Authors: “...Olderog, Ernst-Rüdiger...”