| |
| 1993 | ||
|---|---|---|
| 2 | B. Algayres, V. Coelho, L. Doldi, Hubert Garavel, Y. Lejeune, C. Rodríguez: VESAR: A Pragmatic Approach to Formal Specification and Verification. Computer Networks and ISDN Systems 25(7): 779-790 (1993) | |
| 1992 | ||
| 1 | L. Doldi, P. Gauthier: VEDA 2: Power to the protocol designers. FORTE 1992: 3-13 | |
| 1 | B. Algayres | [2] |
| 2 | V. Coelho | [2] |
| 3 | Hubert Garavel | [2] |
| 4 | P. Gauthier | [1] |
| 5 | Y. Lejeune | [2] |
| 6 | C. Rodríguez | [2] |