Conference , Workshops Proceedings

Solving Language Equations using Flanked Automata

Avellaneda, F., Dal Zilio, S. and Raclet, J.-B. "Solving Language Equations using Flanked Automata" in Proc. of the 14th International Symposium on Automated Technology of Verification and Analysis (ATVA 2016), pp. 106-121. Volume 9938 of the series Lecture Notes in Computer Science, Chiba, Japan, 12 to 20 October 2016

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg