The Community for Technology Leaders
Green Image
INDEX TERMS
null
CITATION
S.L. Gerhart, D.H. Thompson, D. Schwabe, R.W. Erickson, C.A. Sunshine, "Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"", IEEE Transactions on Software Engineering, vol. 9, no. , pp. 113, January 1983, doi:10.1109/TSE.1983.236302
107 ms
(Ver )