Automates infinis, logique et langages / Arnaud carayol, 2006
http://www-igm.univ-mlv.fr/~carayol/, 2019-02-05
Information trouvée : Chargé de recherches CNRS au Laboratoire d'informatique Gaspard Monge (UMR 8049) ,
Université Paris-Est Marne-la-Vallée en 2019