年度	2008
全部作者	郁方
論文名稱	Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2008.08, 'Symbolic String Verification: An Automata-based Approach, ' the 15th International SPIN Workshop on Model Checking of Software, UCLA.(DBLP)(*為通訊作者)
發表日期	2008-08-01
ISI Number	316610