年度	2006
全部作者	郁方
论文名称	Fang Yu;Bow-Yaw Wang, 2006.08, 'SAT-based Model Checking for Region Automata, ' International Journal of Foundations of Computer Science, Vol.17, No.4, pp.775-795.(SCIE, DBLP)
卷数	316615
发表日期	2006-08-01