Model checking open systems with alternating projection temporal logic

Cong Tian, Zhenhua Duan. Model checking open systems with alternating projection temporal logic. Theoretical Computer Science, 774:65-81, 2019. [doi]

Abstract

Abstract is missing.