# Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique

> Fiche œuvre du catalogue https://superlivre.fr/livre/verification-formelle-des-systemes-paralleles-decrits-en-unity-a-laide-dun-outil-cb35855535q (données du dépôt légal BnF).

- **Auteur** : [Boutheïna Chetali](https://superlivre.fr/auteur/boutheina-chetali-cb130892797)
- **Première parution** : 1996
- **Langue** : français
- **Éditions recensées** : 1 (1996–1996)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1996 | [INRIA](https://superlivre.fr/editeur/inria) | [Le Chesnay | 252 | 2-7261-0991-8 |