Thomas Held, Hartmut König. Increasing the efficiency of computer-aided protocol implementations. In Son T. Vuong, Samuel T. Chanson, editors, Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. Volume 1 of IFIP Conference Proceedings, pages 387-394, Chapman & Hall, 1994.
@inproceedings{HeldK94,
title = {Increasing the efficiency of computer-aided protocol implementations},
author = {Thomas Held and Hartmut König},
year = {1994},
tags = {protocol},
researchr = {https://researchr.org/publication/HeldK94},
cites = {0},
citedby = {0},
pages = {387-394},
booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
editor = {Son T. Vuong and Samuel T. Chanson},
volume = {1},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-63640-9},
}