- CSB - MetaPress - Google - Bing - Yahoo
 | 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 | Frédéric Broustaut | [1] |
| 2 | Christian Fabre | [1] |
| 3 | François de Ferrière | [1] |
| 4 | Mauro Fiorentini | [1] |