# Réseaux de prédicats et logique temporelle pour la vérification des systèmes répartis

> Fiche œuvre du catalogue https://superlivre.fr/livre/reseaux-de-predicats-et-logique-temporelle-pour-la-verification-des-systemes-rep-cb376002258 (données du dépôt légal BnF).

- **Auteur** : [Giorgos Papapanagiotakis](https://superlivre.fr/auteur/giorgos-papapanagiotakis-cb12267940f)
- **Première parution** : 1986
- **Langue** : français
- **Éditions recensées** : 1 (1986–1986)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1986 | [ANRT](https://superlivre.fr/editeur/anrt) | Grenoble 2 |  |  |