The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1983 vol.9)
pp: 113
C.A. Sunshine , Information Sciences Institute, University of Southern California
INDEX TERMS
null
CITATION
C.A. Sunshine, D.H. Thompson, R.W. Erickson, S.L. Gerhart, D. Schwabe, "Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"", IEEE Transactions on Software Engineering, vol.9, no. 1, pp. 113, January 1983, doi:10.1109/TSE.1983.236302
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool