Yohan Boichut, Jacques Chabin, Pierre Réty
Towards More Precise Rewriting Approximations
LATA, 2015.
@inproceedings{LATA-2015-BoichutCR, author = "Yohan Boichut and Jacques Chabin and Pierre Réty", booktitle = "{Proceedings of the Ninth International Conference on Language and Automata Theory and Applications}", doi = "10.1007/978-3-319-15579-1_51", isbn = "978-3-319-15578-4", pages = "652--663", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Towards More Precise Rewriting Approximations}", volume = 8977, year = 2015, }