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