W. Fischer, Klaus Sauer, W. Denzel. A simulation technique for communications protocols based on a formal specification by SDL. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 333-347, North-Holland, 1985.
@inproceedings{FischerSD85,
title = {A simulation technique for communications protocols based on a formal specification by SDL},
author = {W. Fischer and Klaus Sauer and W. Denzel},
year = {1985},
tags = {rule-based, protocol},
researchr = {https://researchr.org/publication/FischerSD85},
cites = {0},
citedby = {0},
pages = {333-347},
booktitle = {Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
editor = {Michel Diaz},
publisher = {North-Holland},
isbn = {0-444-87881-5},
}