The Community for Technology Leaders
Green Image
INDEX TERMS
null
CITATION

S. Gerhart, D. Thompson, D. Schwabe, R. Erickson and C. Sunshine, "Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"," in IEEE Transactions on Software Engineering, vol. 9, no. , pp. 113, 1983.
doi:10.1109/TSE.1983.236302
81 ms
(Ver 3.3 (11022016))