| |
| 1984 | ||
|---|---|---|
| 2 | 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 | |
| 1982 | ||
| 1 | Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya: Some Experience with the Use of Formal Specifications. PSTV 1982: 171-185 | |
| 1 | Gregor von Bochmann | [1] [2] |
| 2 | Eduard Cerny | [1] [2] |
| 3 | Rachida Dssouli | [2] |
| 4 | Michel Gagne | [1] |
| 5 | G. Gerber | [2] |
| 6 | Claude Jard | [1] |
| 7 | Clement Lacaille | [1] |
| 8 | Alain Léveillé | [1] |
| 9 | B. H. Phan | [2] |
| 10 | K. S. Raghunathan | [1] |
| 11 | Behçet Sarikaya | [1] [2] |
| 12 | Jean-Marc Serre | [2] |