Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"

Cite this paper

@article{Sunshine1983CorrectionT, title={Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"}, author={Carl A. Sunshine and David H. Thompson and Roddy W. Erickson and Susan L. Gerhart and Daniel Schwabe}, journal={IEEE Trans. Software Eng.}, year={1983}, volume={9}, pages={113} }