| |
| 1999 | ||
|---|---|---|
| 1 | EE | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor: Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods 1999: 1836-1853 |
| 1 | Olivier Hainque | [1] |
| 2 | Eric Nassor | [1] |
| 3 | Laurent Pautet | [1] |