Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Cong Tian, Zhenhua Duan. Model checking open systems with alternating projection temporal logic. Theoretical Computer Science, 774:65-81, 2019. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A Unified Model Checking Approach with Projection Temporal LogicZhenhua Duan, Cong Tian. icfem 2008: 167-186 [doi] Symbolic Model Checking for Alternating Projection Temporal LogicHaiyang Wang, Zhenhua Duan, Cong Tian. cocoa 2015: 481-495 [doi] Model Checking Propositional Projection Temporal Logic Based on SPINCong Tian, Zhenhua Duan. icfem 2007: 246-265 [doi]
The following publications are possibly variants of this publication: