Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
Carl A. SunshineDavid H. ThompsonRoddy W. EricksonSusan L. GerhartDaniel SchwabePublished in: IEEE Trans. Software Eng. (1983)
Keyphrases