| |
| 1989 | ||
|---|---|---|
| 7 | Deepinder P. Sidhu, Thomas P. Blumer: Semi-Automatic Implementation of OSI Protocols. Computer Networks and ISDN Systems 18(3): 221-238 (1989) | |
| 1986 | ||
| 6 | Thomas P. Blumer, Deepinder P. Sidhu: Mechanical Verification and Automatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 12(8): 827-843 (1986) | |
| 1984 | ||
| 5 | Deepinder P. Sidhu, Thomas P. Blumer: Some Problems with the Specification of the Military Standard Transmission Control Protocol. PSTV 1984: 375-381 | |
| 1983 | ||
| 4 | Thomas P. Blumer, Deepinder P. Sidhu: Experience with an Automated Protocol Development System. Protocol Specification, Testing, and Verification 1983: 369-380 | |
| 1982 | ||
| 3 | Thomas P. Blumer, John C. Burruss: Specification and Implementation of a Protocol Standard. COMPCON 1982: 268-271 | |
| 2 | Thomas P. Blumer, John C. Burruss: Generating a Service Specification of a Connection Management Protocol. PSTV 1982: 161-170 | |
| 1 | Thomas P. Blumer, Richard L. Tenney: A Formal Specification Technique and Implementation Method for Protocols. Computer Networks 6(3): 201-217 (1982) | |
| 1 | John C. Burruss | [2] [3] |
| 2 | Deepinder P. Sidhu | [4] [5] [6] [7] |
| 3 | Richard L. Tenney | [1] |