MFI'03 : modèles formels de l'interaction : actes des secondes Journées francophones,
Lille, 20-22 mai 2003 / éd. Andréas Herzig, Brahim Chaib-Draa, Philippe Mathieu, 2003
https://www.irit.fr, 2018-04-23
Information trouvée : Directeur de recherche au CNRS dans le groupe de recherche Logic, Interaction, Language,
and Computation Group (LILaC)