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

  • CANARIE RT @CANARIE_Inc: How do you know whether online education is effective? CANARIE Research Software Program VESTA has it figured out @CRIM_ca…
  • CANARIE RT @CANARIE_Inc: Comment savoir si l'enseignement en ligne est efficace? Le logiciel de recherche Vesta financé par CANARIE a trouvé la sol…