Title :
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"
Author :
C.A. Sunshine;D.H. Thompson;R.W. Erickson;S.L. Gerhart;D. Schwabe
Author_Institution :
Information Sciences Institute, University of Southern California
Keywords :
"Protocols","Computer science"
Journal_Title :
IEEE Transactions on Software Engineering
DOI :
10.1109/TSE.1983.236302
