年度	2011
全部作者	郁方
論文名稱	Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2011.05, 'Relational String Verification Using Multi-track Automata (Full Version), ' International Journal of Foundations of Computer Science,.(SCIE, ACM, DBLP, IEEE, CITESEEN, SCI)(*為通訊作者)
卷數	347564
發表日期	2011-05-01