![]() | ![]() |
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] |