Relational String Verification Using Multi-Track Automata

Fang Yu, Tevfik Bultan, Oscar H. Ibarra. Relational String Verification Using Multi-Track Automata. Int. J. Found. Comput. Sci., 22(8):1909-1924, 2011. [doi]

Authors

Fang Yu

This author has not been identified. Look up 'Fang Yu' in Google

Tevfik Bultan

This author has not been identified. Look up 'Tevfik Bultan' in Google

Oscar H. Ibarra

This author has not been identified. Look up 'Oscar H. Ibarra' in Google