Imed Hadj Kacem 1
Auteur
Noura Sellami 1
Auteur
Aline Roumy 2
Auteur Etablissement employeur : Institut National de Recherche en Informatique et en Automatique
Inbar Fijalkow 3
Auteur
INRIA | UNIV-CERGY | IRISA | IRISA-D5 | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-RENGRE