年度 | 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 |
登入 政治大学商学院-资讯管理学系
年度 | 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 |