- CSB - MetaPress - Google - Bing - Yahoo
 | 1989 | |
|---|---|---|
| j3 |      | Deepinder P. Sidhu, Thomas P. Blumer: Semi-Automatic Implementation of OSI Protocols. Computer Networks and ISDN Systems 18(3): 221-238 (1989) |
| 1986 | ||
| j2 | | Thomas P. Blumer, Deepinder P. Sidhu: Mechanical Verification and Automatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 12(8): 827-843 (1986) |
| 1984 | ||
| c4 |  | Deepinder P. Sidhu, Thomas P. Blumer: Some Problems with the Specification of the Military Standard Transmission Control Protocol. PSTV 1984: 375-381 |
| 1983 | ||
| c3 | | Thomas P. Blumer, Deepinder P. Sidhu: Experience with an Automated Protocol Development System. Protocol Specification, Testing, and Verification 1983: 369-380 |
| 1982 | ||
| j1 | | Thomas P. Blumer, Richard L. Tenney: A Formal Specification Technique and Implementation Method for Protocols. Computer Networks 6(3): 201-217 (1982) |
| c2 | | Thomas P. Blumer, John C. Burruss: Specification and Implementation of a Protocol Standard. COMPCON 1982: 268-271 |
| c1 | | Thomas P. Blumer, John C. Burruss: Generating a Service Specification of a Connection Management Protocol. PSTV 1982: 161-170 |
| 1 | John C. Burruss | |
| 2 | Deepinder P. Sidhu | |
| 3 | Richard L. Tenney |
Data released under the ODC-BY 1.0 license — See also our legal information page