 |
|
|
|
| HAL : hal-00344551, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Automated Technology for Verification and Analysis, Corée, République De (2008) |
|
|
|
|
| Tree Pattern Rewriting Systems |
|
|
| Blaise Genest 1Anca Muscholl 2 |
|
|
| (2008) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | DISTRIBCOM (INRIA - IRISA) |
|
|
|
CNRS : UMR6074 – INRIA – École normale supérieure de Cachan - ENS Cachan – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1 |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
| 3 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
| hal-00344551, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00344551 | |
| oai:hal.archives-ouvertes.fr:hal-00344551 | |
| Contributeur : Anca Muscholl | |
| Soumis le : Vendredi 5 Décembre 2008, 09:53:21 | |
| Dernière modification le : Jeudi 15 Janvier 2009, 15:26:13 | |
