Louis-marie DANDO
Louis-marie Dando Doctorant ()

Équipe LaBRI : Méthodes formelles
Page personnelle : http://www.labri.fr/perso/ldando/
Courrier électronique : louis-marie.dandoarobaselabri.fr
Bureau : 357
Tél : +33 (0)5 40 00 35 17


Extrait de publications


Louis-Marie Dando, Sylvain Lombardy. From Hadamard Expressions to Weighted Rotating Automata and Back. Arnaud Carayol; Cyril Nicaud. 22nd International Conference Implementation and Application of Automata, CIAA 2017, Jun 2017, Marne-la-Vallée, France. Springer, Lecture Notes in Computer Science, 10328, pp.163-174, 2017, CIAA 2017: Implementation and Application of Automata


Page mise à jour le 13/08/2010 à 10:56