| |
| * | 2004 | |
|---|---|---|
| 3 | EE | Alain Griffault, Aymeric Vincent: The Mec 5 Model-Checker. CAV 2004: 488-491 |
| 1999 | ||
| 2 | André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy: The AltaRica Formalism for Describing Concurrent Systems. Fundam. Inform. 40(2-3): 109-124 (1999) | |
| 1993 | ||
| 1 | EE | Marc-Michel Corsini, Alain Griffault, Antoine Rauzy: Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR 1993: 86-97 |
| 1 | André Arnold | [2] |
| 2 | Marc-Michel Corsini | [1] |
| 3 | Gérald Point | [2] |
| 4 | Antoine Rauzy | [1] [2] |
| 5 | Aymeric Vincent | [3] |