dblp.uni-trier.dewww.uni-trier.de

David H. Thompson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1983
3 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". IEEE Trans. Software Eng. 9(1): 113 (1983)
1982
2 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. IEEE Trans. Software Eng. 8(5): 460-489 (1982)
1980
1 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. IFIP Congress 1980: 343-347

Coauthor Index

1D. A. Baker [1]
2R. L. Bates [1]
3Roddy W. Erickson [1] [2] [3]
4Susan L. Gerhart [1] [2] [3]
5R. L. London [1]
6David R. Musser [1]
7Daniel Schwabe [2] [3]
8Carl A. Sunshine [2] [3]
9D. G. Taylor [1]
10David S. Wile [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)