E.-R Olderog
7 published titles
Nets, terms and formulas : three views of concurrent processes and their relationship
2 editions
- ISBN: 0521400449
- Cambridge University Press
- 1991
- Details
- ISBN: 9780521018456
- Cambridge University Press
- 2005
- Details
Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 working conference on programming concepts, methods and calculi (PROCOMET '94), San Miniato, Italy, 6-10 June
(Contributor)
1 edition
- ISBN: 0444820205
- Elsevier
- 1994
- Details
Correct system design : recent insights and advances
(Contributor)
1 edition
- ISBN: 3540666249
- Springer
- 1999
- Details
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
(Contributor)
1 edition
- ISBN: 3540441654
- Springer
- 2002
- Details
Real-time systems : formal specification and automatic verification
1 edition
- ISBN: 9780521883337
- Cambridge University Press
- 2008
- Details
Verification of sequential and concurrent programs
(Contributor)
1 edition
- ISBN: 9781848827455
- Springer
- 2009
- Details
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
(Contributor)
1 edition
- ISBN: 9783319235059
- Springer
- 2015
- Details
