Albert Benveniste 1AuthorPersonId : 889117 Employer institution: Institut National de Recherche en Informatique et en Automatique
Benoît Caillaud 1AuthorPersonId : 12825 Employer institution: Institut National de Recherche en Informatique et en AutomatiqueIdHAL : benoit-caillaudORCID : 0000-0002-3234-5033IdRef : 148066518
Roberto Passerone 2Author
Computer Science [cs] / Other [cs.OH]
EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | IRISA-D4 | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | UR1-MATH-NUM