Christel Baier 1Author
Nathalie Bertrand 2AuthorPersonId : 838273 Employer institution: Institut National de Recherche en Informatique et en Automatique
Marcus Grösser 1Author
INRIA | INRIA2