External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Relational String Verification Using Multi-track Automata

Fang Yu, Tevfik Bultan, Oscar H. Ibarra. Relational String Verification Using Multi-track Automata. In Michael Domaratzki, Kai Salomaa, editors, Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Volume 6482 of Lecture Notes in Computer Science, pages 290-299, Springer, 2010. [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
runs on