%0 Conference Paper %1 conf/amast/BallandBGM08 %A Balland, Emilie %A Boichut, Yohan %A Genet, Thomas %A Moreau, Pierre-Etienne %B AMAST %D 2008 %E Meseguer, José %E Rosu, Grigore %I Springer %K %P 67-82 %T Towards an Efficient Implementation of Tree Automata Completion. %U http://dblp.uni-trier.de/db/conf/amast/amast2008.html#BallandBGM08 %V 5140 %@ 978-3-540-79979-5

@inproceedings{conf/amast/BallandBGM08, added-at = {2023-12-13T02:21:33.000+0100}, author = {Balland, Emilie and Boichut, Yohan and Genet, Thomas and Moreau, Pierre-Etienne}, biburl = {https://www.bibsonomy.org/bibtex/2f81af0494077eb3548189b236d8499cd/admin}, booktitle = {AMAST}, crossref = {conf/amast/2008}, editor = {Meseguer, José and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-540-79980-1_6}, interhash = {7e334edab3ed79ea9921ac84b143d67b}, intrahash = {f81af0494077eb3548189b236d8499cd}, isbn = {978-3-540-79979-5}, keywords = {}, pages = {67-82}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:21:33.000+0100}, title = {Towards an Efficient Implementation of Tree Automata Completion.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2008.html#BallandBGM08}, volume = 5140, year = 2008 }