@inproceedings{8bcf911f036141e5be48d32b844d8069,
title = "Requirement and design specification for distributed systems",
abstract = "A formal framework for the requirement specification and design specification of distributed systems is outlined. It includes the definition of relations between requirement specifications and design specifications which lead to veritification conditions.",
author = "Manfred Broy",
note = "Publisher Copyright: {\textcopyright} 1988, Springer-Verlag.; International Conference on Concurrency Theory, CONCURRENCY 1988 ; Conference date: 18-10-1988 Through 19-10-1988",
year = "1988",
doi = "10.1007/3-540-50403-6_30",
language = "English",
isbn = "9783540504030",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "33--62",
editor = "Vogt, {Frederich H.}",
booktitle = "CONCURRENCY 1988 - International Conference on Concurrency, Proceedings",
}