| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 2 |      | F. Boutet, E. Choveau, G. Rieux, Y. Lejeune: Scheduling in SDL Simulation. Application to Future Air Navigation Systems. SAM 2000: 320-332 |
| 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 | F. Boutet | [2] |
| 3 | E. Choveau | [2] |
| 4 | V. Coelho | [1] |
| 5 | L. Doldi | [1] |
| 6 | Hubert Garavel | [1] |
| 7 | G. Rieux | [2] |
| 8 | C. Rodríguez | [1] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page