Zhilin Wu
Commutative Data Automata
CSL, 2012.
@inproceedings{CSL-2012-Wu, author = "Zhilin Wu", booktitle = "{Proceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2012.528", isbn = "978-3-939897-42-2", pages = "528--542", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Leibniz International Proceedings in Informatics}", title = "{Commutative Data Automata}", volume = 16, year = 2012, }