Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Author 
Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23506-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Real-Time Systems Formal Specification and Automatic Verification
Real-Time Systems Formal Specification and Automatic Verification
Author 
Olderog, Ernst-Rüdiger. Dierks, Henning.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Provably Correct Systems
Provably Correct Systems
Author 
Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Author 
Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-745-5
Format: 
Availability 
Online Library~1
Available:
Copies: