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