Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid. Functional approach to protocols specification. 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 395-402, Chapman & Hall, 1994.
@inproceedings{BojanowskiIMO94,
title = {Functional approach to protocols specification},
author = {Jakub Bojanowski and Michal Iglewski and Jan Madey and Abdellatif Obaid},
year = {1994},
tags = {protocol, systematic-approach},
researchr = {https://researchr.org/publication/BojanowskiIMO94},
cites = {0},
citedby = {0},
pages = {395-402},
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},
}