|
Search the dblp DataBase
David H. Thompson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile
An Overview of AFFIRM: A Specification and Verification System. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1980, pp:343-347 [Conf]
- Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1982, v:8, n:5, pp:460-489 [Journal]
- Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1983, v:9, n:1, pp:113- [Journal]
Search in 0.001secs, Finished in 0.001secs
|