| |
| 1995 | ||
|---|---|---|
| 1 | Frédéric Broustaut, Christian Fabre, François de Ferrière, Éric Ivanov, Mauro Fiorentini: Verification of ANDF Components. Intermediate Representations Workshop 1995: 103-110 | |
| 1 | Christian Fabre | [1] |
| 2 | François de Ferrière | [1] |
| 3 | Mauro Fiorentini | [1] |
| 4 | Éric Ivanov | [1] |