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

  • Cet été, découvrez les experts du CRIM via la série "Portraits d'experts", réalisée avec @Mathysc ! #3: Lise Rebout… https://t.co/fjCqdcoKFC
  • C'est par ici > https://t.co/DG7Btp4qs8 https://t.co/8qryDAQq06