| |
| 1987 | ||
|---|---|---|
| 2 | Gregor von Bochmann, George Walter Gerber, Jean-Marc Serre: Semiautomatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 13(9): 989-1000 (1987) | |
| 1984 | ||
| 1 | Gregor von Bochmann, Eduard Cerny, G. Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre: Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV 1984: 137-144 | |
| 1 | Gregor von Bochmann | [1] [2] |
| 2 | Eduard Cerny | [1] |
| 3 | Rachida Dssouli | [1] |
| 4 | G. Gerber | [1] |
| 5 | George Walter Gerber | [2] |
| 6 | Michel Maksud | [1] |
| 7 | B. H. Phan | [1] |
| 8 | Behçet Sarikaya | [1] |