Fang Yu, Tevfik Bultan, Oscar H. Ibarra
Relational String Verification Using Multi-Track Automata
CIAA, 2011.
@article{CIAA-J-2010-YuBI11, author = "Fang Yu and Tevfik Bultan and Oscar H. Ibarra", doi = "10.1142/S0129054111009112", journal = "{International Journal of Foundations of Computer Science}", number = 8, pages = "1909--1924", publisher = "{World Scientific}", title = "{Relational String Verification Using Multi-Track Automata}", volume = 22, year = 2011, }