 |
个人信息：Personal Information
教授
性别：女
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：软件工程 计算机软件与理论
扫描关注
A canonical form based decision procedure and model checking approach for propositional projection temporal logic
点击次数：
所属单位：计算机学院
发表刊物：THEORETICAL COMPUTER SCIENCE
第一作者：Duan, Zhenhua^Tian, Cong^Zhang, Nan
论文类型：Proceedings Paper
论文编号：SCI WOS:000367275000004
卷号：609
页面范围：544-560
ISSN号：0304-3975
是否译文：否
发表时间：2016-01-01
收录刊物：SCI