Un système de vérification de processus parallèles et communicants - Centre de Mathématiques Appliquées Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1987

Un système de vérification de processus parallèles et communicants

Résumé

Disponible dans les fichiers attachés à ce document

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RT-0083.pdf (1.16 Mo) Télécharger le fichier

Dates et versions

inria-00070081 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070081 , version 1

Citer

Valérie Lecompte, Eric Madelaine, Didier Vergamini. Un système de vérification de processus parallèles et communicants. [Rapport de recherche] RT-0083, INRIA. 1987, pp.22. ⟨inria-00070081⟩
220 Consultations
46 Téléchargements

Partager

Gmail Facebook X LinkedIn More