Peter van Eijk, Harro Kremer, Marten van Sinderen. On the use of specification styles for automated protocol implementation from LOTOS to C. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 157-168, North-Holland, 1990.
@inproceedings{EijkKS90,
title = {On the use of specification styles for automated protocol implementation from LOTOS to C},
author = {Peter van Eijk and Harro Kremer and Marten van Sinderen},
year = {1990},
tags = {protocol, C++},
researchr = {https://researchr.org/publication/EijkKS90},
cites = {0},
citedby = {0},
pages = {157-168},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
editor = {Luigi Logrippo and Robert L. Probert and Hasan Ural},
publisher = {North-Holland},
isbn = {0-444-88810-1},
}