Georg Rock, Werner Stephan, Andreas Wolpers. Assumption-Commitment Specifications and Safety-Critical Systems. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 125-135, Verlag Shaker, 1998.
@inproceedings{RockSW98,
title = {Assumption-Commitment Specifications and Safety-Critical Systems},
author = {Georg Rock and Werner Stephan and Andreas Wolpers},
year = {1998},
researchr = {https://researchr.org/publication/RockSW98},
cites = {0},
citedby = {0},
pages = {125-135},
booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998},
editor = {Hartmut König and Peter Langendörfer},
publisher = {Verlag Shaker},
isbn = {3-8265-3807-2},
}