The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Olderog, E.-R

LC control no.n 88629264
Personal name headingOlderog, E.-R.
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Olderog, Ernst-Rüdiger
Found innuc88-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)