Publications de
Florent Avellaneda, Silvano Dal Zilio, Jean-Baptiste Raclet
Solving Language Equations Using Flanked Automata (regular paper)
Dans : Automated Technology for Verification and Analysis, Chiba, Japan, 17/10/16-20/10/16, Springer, p. 106-121, octobre 2016.