| |
| 1993 | ||
|---|---|---|
| 1 | 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) | |
| 1 | B. Algayres | [1] |
| 2 | L. Doldi | [1] |
| 3 | Hubert Garavel | [1] |
| 4 | Y. Lejeune | [1] |
| 5 | C. Rodríguez | [1] |