Author:
Zhao Liang,Wang Xiaobing,Shu Xinfeng,Zhang Nan
Publisher
Springer International Publishing
Reference20 articles.
1. Bowman, H., Thompson, S.J.: A decision procedure and complete axiomatization of finite interval temporal logic with projection. J. Logic Comput. 13(2), 195–239 (2003)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)
3. Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Beijing (2006)
4. Lecture Notes in Computer Science;Z Duan,2008
5. Duan, Z., Tian, C.: A practical decision procedure for propositional projection temporal logic with infinite models. Theoret. Comput. Sci. 554, 169–190 (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献