Ernst-Rüdiger Olderog. Entwicklung korrekter zeitkritischer Systeme. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 7-16, Herbert Utz Verlag, 1999.
@inproceedings{Olderog99:0,
title = {Entwicklung korrekter zeitkritischer Systeme},
author = {Ernst-Rüdiger Olderog},
year = {1999},
researchr = {https://researchr.org/publication/Olderog99%3A0},
cites = {0},
citedby = {0},
pages = {7-16},
booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999},
editor = {Katharina Spies and Bernhard Schätz},
publisher = {Herbert Utz Verlag},
isbn = {3-89675-918-3},
}