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