%0 Journal Article %1 journals/ijfcs/YuBI11 %A Yu, Fang %A Bultan, Tevfik %A Ibarra, Oscar H. %D 2011 %J Int. J. Found. Comput. Sci. %K dblp %N 8 %P 1909-1924 %T Relational String Verification Using Multi-Track Automata. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs22.html#YuBI11 %V 22

@article{journals/ijfcs/YuBI11, added-at = {2012-01-23T00:00:00.000+0100}, author = {Yu, Fang and Bultan, Tevfik and Ibarra, Oscar H.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26f2a56215e064d749f778be7e6824091/dblp}, ee = {http://dx.doi.org/10.1142/S0129054111009112}, interhash = {53c5bdb0117010f6bcb2665a1f4b1e4a}, intrahash = {6f2a56215e064d749f778be7e6824091}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 8, pages = {1909-1924}, timestamp = {2016-02-02T09:31:48.000+0100}, title = {Relational String Verification Using Multi-Track Automata.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs22.html#YuBI11}, volume = 22, year = 2011 }