Home
Browse
Last articles
Document list
By authors
List by year
Search
Search
advanced search
Search by id
8485 articles
[version française]
.:.
Browse
>
By authors
> 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]