Zining Cao. Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties. In Zhongzhi Shi, K. Shimohara, David Dagan Feng, editors, Intelligent Information Processing III, IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia. Volume 228 of IFIP, pages 63-72, Springer, 2006. [doi]
Abstract is missing.