年度	2016
全部作者	郁方
论文名称	Hung-En Wang;Tzung-Lin Tsai;Chun-Han Lin;Fang Yu;Jie-Hong Jiang, 2016.04, 'String Analysis via Automata Manipulation with Logic Circuit Representation, ' the 28th International Conference on Computer Aided Verification, University of Toronto.(ACM, DBLP, IEEE)
发表日期	2016-04-01
ISI Number	410221