| Année | Titre | Éditeur | Pages |
|---|---|---|---|
| 1987 | Vérification de réseaux d'automates finis par équivalences observationnelles | ANRT | — |
Auteurs ayant un livre paru la même année chez un éditeur de Didier Vergamini.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Abdesslam Chrachri | ANRT (1987) | 1 |
| Régine Melet | ANRT (1987) | 1 |
| Zheng Yu | ANRT (1987) | 1 |
| Rachid Janati-Idrissi |
| 1 |
| Hervé Darbon | ANRT (1987) | 1 |
| Françoise Cottet | ANRT (1987) | 1 |
| André Neurrisse | ANRT (1987) | 1 |
| Véronique Dechoux | ANRT (1987) | 1 |