Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein. Structuring Mechanisms for the Formal Description Technique CRS. In Bengt Jonsson, Joachim Parrow, Björn Pehrson, editors, Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. pages 39-57, North-Holland, 1991.
@inproceedings{VelthuysMSZ91,
title = {Structuring Mechanisms for the Formal Description Technique CRS},
author = {Roelof Jan Velthuys and Lothar F. Mackert and Jürgen M. Schneider and Georg Zörntlein},
year = {1991},
researchr = {https://researchr.org/publication/VelthuysMSZ91},
cites = {0},
citedby = {0},
pages = {39-57},
booktitle = {Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
editor = {Bengt Jonsson and Joachim Parrow and Björn Pehrson},
publisher = {North-Holland},
isbn = {0-444-89210-9},
}