| |
| 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 | Eduard Cerny | [1] |
| 3 | Rachida Dssouli | [1] |
| 4 | G. Gerber | [1] |
| 5 | Michel Maksud | [1] |
| 6 | Behçet Sarikaya | [1] |
| 7 | Jean-Marc Serre | [1] |