| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Un système de vérification de processus parallèles et communicants
Résumé : Disponible dans les fichiers attachés à ce document
https://hal.inria.fr/inria-00070081
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:03:36 PM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:18:46 AM
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:03:36 PM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:18:46 AM