| |
| 2009 | ||
|---|---|---|
| 2 | EE | Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet: Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163 |
| 2008 | ||
| 1 | EE | Jean-Baptiste Raclet: Residual for Component Specifications. Electr. Notes Theor. Comput. Sci. 215: 93-110 (2008) |
| 1 | Nathalie Bertrand | [2] |
| 2 | Sophie Pinchinat | [2] |