Haiyang Wang, Zhenhua Duan, Cong Tian. Symbolic Model Checking for Alternating Projection Temporal Logic. In Zaixin Lu, Donghyun Kim, Weili Wu, Wei Li, Ding-Zhu Du, editors, Combinatorial Optimization and Applications - 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings. Volume 9486 of Lecture Notes in Computer Science, pages 481-495, Springer, 2015. [doi]
Abstract is missing.