HAL-Inria | Publications, software ... of Inria's scientists |
Erwan Grace 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Raphael David 2
Author
Daniel Chillet 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : daniel-chillet
Olivier Sentieys 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : olivier-sentieys
CNRS | INRIA | IRISA | UNIV-RENNES1 | CEA | IRISA-D3 | INSTITUT-TELECOM | DRT | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | LIST | UNIV-RENNES | INSA-RENNES | UR1-MATH-NUM | EC-PARIS