| Année | Titre | Éditeur | Pages |
|---|---|---|---|
| 1996 | Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique | INRIA | 252 |
Auteurs ayant un livre paru la même année chez un éditeur de Boutheïna Chetali.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Philippe Charman | INRIA (1996) | 1 |
| Journées Explication (03 ; 1996 ; Sophia-Antipolis, Alpes-Maritimes) | INRIA (1996) | 1 |
| Alain Sausse | INRIA (1996) | 1 |
| Olivier Bernard |
| INRIA (1996) |
| 1 |
| Fabien Lloansi | INRIA (1996) | 1 |
| Jean-Luc Gouzé | INRIA (1996) | 1 |
| Mostafa Bacha | INRIA (1996) | 1 |
| André Seznec | INRIA (1996) | 1 |