Bibtex de la publication

@InProceedings{ Av2016.1,
author = {Avellaneda, Florent and Dal Zilio, Silvano and Raclet, Jean-Baptiste},
title = "{Solving Language Equations Using Flanked Automata (regular paper)}",
booktitle = "{Automated Technology for Verification and Analysis, Chiba, Japan, 17/10/2016-20/10/2016}",
year = {2016},
month = {octobre},
publisher = {Springer},
address = {http://www.springerlink.com},
pages = {106--121},
language = {anglais}
}