Gerald A. Simon, David J. Kaufman. An Extended Finite State Machine Approach to Protocol Specification. In Carl A. Sunshine, editor, Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. pages 113-133, North-Holland, 1982.
@inproceedings{SimonK82,
title = {An Extended Finite State Machine Approach to Protocol Specification},
author = {Gerald A. Simon and David J. Kaufman},
year = {1982},
tags = {protocol, state machines, systematic-approach},
researchr = {https://researchr.org/publication/SimonK82},
cites = {0},
citedby = {0},
pages = {113-133},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
editor = {Carl A. Sunshine},
publisher = {North-Holland},
isbn = {0-444-86481-4},
}