E.-R Olderog

No bio available. Add one in Open Library.

Books by E.-R Olderog (50 max)

+ shelf+ list

Nets, terms, and formulas: three views of concurrent processes and their relationship

1991

E.-R Olderog

+ shelf+ list

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

1999

Bernhard Steffen, E.-R Olderog

+ shelf+ list

Real-time systems: formal specification and automatic verification

2008

E.-R Olderog