Year	2010
Authors	FANG YU
Paper Title	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)(*為通訊作者)
Reference URL	http://nccur.lib.nccu.edu.tw/handle/140.119/68333
Date of Publication	2010-08-01
ISI Number	316393