HAL-Inria | Publications, software ... of Inria's scientists |
Simon Rokicki 1
Author IdHAL : simon-rokicki ORCID : https://orcid.org/0000-0002-0195-096X
Davide Pala 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Joseph Paturel 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Olivier Sentieys 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : olivier-sentieys
UNIV-RENNES1 | CENTRALESUPELEC | INRIA | UNIV-RENNES | IRISA | CNRS | UR1-UFR-ISTIC | INSA-RENNES