Normal view
MARC view
- Olderog, E.-R.
Olderog, E.-R. (Nombre personal)
Used for/see from:
- Olderog, Ernst-Rüdiger
nuc88-46315: Author's Specification-oriented semantics for communicating processes, 1984 (hdg. on PPiU rept.: Olderog, E.-R.; usage: E.-R. Olderog)
Apt, K.R. Verification of sequential and concurrent programs, c1991: CIP t.p. (Ernst-Rüdiger Olderog) copr. p. (Christian Albrechts Univ., Inst. für Informatik, Kiel, Germany)
Correct system design, 1999: CIP t.p. (Ernst-Rüdiger Olderog) data sheet (b. June 4, 1955)