年度	2010
全部作者	郁方
论文名称	Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2010.08, 'Relational String Verification Using Multi-track Automata, ' 15th International Conference on Implementation and Application of Automata.(DBLP, LNCS)(*为通讯作者)
参考连结	http://nccur.lib.nccu.edu.tw/handle/140.119/68333
发表日期	2010-08-01
ISI Number	316393