# Jean-Marc Le Campion

> Fiche auteur du catalogue https://superlivre.fr/auteur/jean-marc-le-campion-cb13087814t (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (1996–1996)
- **Pagination médiane** : 143 pages
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb13087814t

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1996 | [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](https://superlivre.fr/livre/proposition-pour-un-formalisme-logique-dexpression-et-de-verification-de-proprie-cb35847865r) | [Direction de l'information scientifique et technique, CEA Saclay](https://superlivre.fr/editeur/direction-de-linformation-scientifique-et-technique-cea-saclay) | 143 |

## Éditeurs principaux

- [Direction de l'information scientifique et technique, CEA Saclay](https://superlivre.fr/editeur/direction-de-linformation-scientifique-et-technique-cea-saclay) — 1 œuvres