A canonical form based decision procedure and model checking approach for propositional projection temporal logic
Date of Publication:2018-06-08 Hits:
- Affiliation of Author(s):计算机学院
- Journal:THEORETICAL COMPUTER SCIENCE
- First Author:Duan, Zhenhua^Tian, Cong^Zhang, Nan
- Indexed by:Proceedings Paper
- Document Code:SCI WOS:000367275000004
- Volume:609
- Page Number:544-560
- ISSN No.:0304-3975
- Translation or Not:no
- Date of Publication:2016-01-01
- Included Journals:SCI
