# Proposition pour un formalisme logique d'expression et de vérification de propriétés temporelles sur des évènements répétitifs destiné à l'analyse de traces d'exécution

> Fiche œuvre du catalogue https://superlivre.fr/livre/proposition-pour-un-formalisme-logique-dexpression-et-de-verification-de-proprie-cb35847865r (données du dépôt légal BnF).

- **Auteur** : [Jean-Marc Le Campion](https://superlivre.fr/auteur/jean-marc-le-campion-cb13087814t)
- **Première parution** : 1996
- **Langue** : français
- **Éditions recensées** : 1 (1996–1996)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1996 | [Direction de l'information scientifique et technique, CEA Saclay](https://superlivre.fr/editeur/direction-de-linformation-scientifique-et-technique-cea-saclay) | Gif-sur-Yvette | 143 |  |