年度	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