TY  - DATA
AU  - Ernst-Rüdiger Olderog, Bernhard Steffen
TI  - Correct System Design
SN  - 9783540480921
PY  - 1999///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-48092-7
ER  -