Year	2008
Authors	FANG YU
Paper Title	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)(*為通訊作者)
Date of Publication	2008-08-01
ISI Number	316610