Accueil
Consultation
Par auteur
Par publications
Par années
Par domaines
Par type de document
Derniers dépôts
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Aide
Exporter
HalTools
28559 articles – 22057 Notices
[english version]
.:.
Consultation
>
Par auteur
> Aguilar Cornejo .:.
1 document
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications
Aguilar Cornejo M., Garavel H., Mateescu R., De Palma N.
N° RR-4222 (2001) [inria-00072397 - version 1]