HAL-Inria | Publications, software ... of Inria's scientists |
Jean-Pierre Paris 1
Author
Gérard Berry 2
Author
Frédéric Mignard 2
Author
Philippe Couronné 3
Author
Paul Caspi 4
Author
Nicolas Halbwachs 4
Author
Yves Sorel 5
Author IdHAL : yves-sorel
Albert Benveniste 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Thierry Gautier 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Paul Le Guernic 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
François Dupont 7
Author
Claude Le Maire 8
Author
INRIA | INRIA-RRRT | IRISA | CNRS | UNIV-RENNES1 | I3S | LARA | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-COTEDAZUR | UNIV-RENNES | INSA-GROUPE | INSA-RENNES | PSL | UR1-MATH-NUM | EC-PARIS