Gregor Gössler 1, 2AuthorPersonId : 5331 Employer institution: Institut National de Recherche en Informatique et en AutomatiqueIdHAL : goesslerIdRef : 179367110
Jean-Baptiste Raclet 1, 3AuthorPersonId : 739306 IdHAL : jean-baptiste-racletORCID : 0000-0001-7357-912XIdRef : 113949383
Computer Science [cs] / Software Engineering [cs.SE] Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]
UNIV-TLSE2 | UNIV-TLSE3 | UGA | CNRS | INRIA | UT1-CAPITOLE | INRIA2 | IRIT | IRIT-ACADIE | IRIT-FSL | UNIV-UT3