HAL-Inria | Publications, software ... of Inria's scientists |
Maud Marchal 1
Author
Gerard Gallagher 1
Author
Anatole Lécuyer 2
Author
Claudio Pacchierotti 1
Author
IRISA-INSA-R | UNIV-RENNES1 | INRIA | INSA-RENNES | UNIV-RENNES | IRISA | CNRS | CENTRALESUPELEC | UR1-UFR-ISTIC