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

  • Le CRIM recrute! Conseiller en recrutement en TI
  • Chambly RT @chamblyexpress: Un outil 2.0. pour lutter contre les changements climatiques #changements #climatiques #site #web #2019 #outil #techno…