%0 Journal Article %1 journals/tse/SunshineTEGS82 %A Sunshine, Carl A. %A Thompson, David H. %A Erickson, Roddy W. %A Gerhart, Susan L. %A Schwabe, Daniel %D 1982 %J IEEE Trans. Software Eng. %K dblp %N 5 %P 460-489 %T Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. %U http://dblp.uni-trier.de/db/journals/tse/tse8.html#SunshineTEGS82 %V 8

@article{journals/tse/SunshineTEGS82, added-at = {2022-08-16T00:00:00.000+0200}, author = {Sunshine, Carl A. and Thompson, David H. and Erickson, Roddy W. and Gerhart, Susan L. and Schwabe, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2a2ab391d94c9e845788405b99b426624/dblp}, ee = {https://www.wikidata.org/entity/Q111898123}, interhash = {2f9be7f5c6565d395268cfb7470519bf}, intrahash = {a2ab391d94c9e845788405b99b426624}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, note = {correction: IEEE Trans. Software Eng. 9(1): 113 (1983)}, number = 5, pages = {460-489}, timestamp = {2024-04-08T21:08:00.000+0200}, title = {Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse8.html#SunshineTEGS82}, volume = 8, year = 1982 }