 |
|
|
|
| HAL: inria-00070081, version 1 |
| See detailed view |  BibTeX,EndNote,... |
|
|
|
|
| Un système de vérification de processus parallèles et communicants |
|
|
| Valérie Lecompte 1Eric Madelaine 2 |
|
|
| (1987) |
|
|
|
| Disponible dans les fichiers attachés à ce document |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Centre de Mathématiques Appliquées (CMA) |
|
|
|
Mines ParisTech |
|
|
| 2: | MEIJE (INRIA Sophia Antipolis) |
|
|
|
INRIA |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Other |
|
|
| Attached file list to this document: | ||||||||||
|
||||||||||
|
|
|
| inria-00070081, version 1 | |
| http://hal.inria.fr/inria-00070081 | |
| oai:hal.inria.fr:inria-00070081 | |
| From: Rapport De Recherche Inria | |
| Submitted on: Friday, 19 May 2006 19:03:36 | |
| Updated on: Friday, 30 April 2010 10:02:08 | |
