| |
| 1997 | ||
|---|---|---|
| 3 | Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse: Data-Structures for the Verification of Timed Automata. HART 1997: 346-360 | |
| 1992 | ||
| 2 | EE | Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis: A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259 |
| 1991 | ||
| 1 | Anne Rasse: Error Diagnosis in Finite Communicating Systems. CAV 1991: 114-124 | |
| 1 | Eugene Asarin | [3] |
| 2 | Marius Bozga | [3] |
| 3 | Jean-Claude Fernandez | [2] |
| 4 | Hubert Garavel | [2] |
| 5 | Alain Kerbrat | [3] |
| 6 | Oded Maler | [3] |
| 7 | Laurent Mounier | [2] |
| 8 | Amir Pnueli | [3] |
| 9 | Carlos Rodriguez | [2] |
| 10 | Joseph Sifakis | [2] |