HAL-Inria | Publications, software ... of Inria's scientists |
Jean Charles Naud 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Daniel Menard 2
Author IdHAL : daniel-menard
Olivier Sentieys 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : olivier-sentieys
CNRS | INRIA | UNIV-RENNES1 | IRISA | UNIV-NANTES | IETR | IETR-INSA | INSA-RENNES | IRISA-D3 | UR1-UFR-ISTIC | IETR-VAADER | UNIV-RENNES | INSA-GROUPE | INSTITUT-TELECOM