Lijun Wu, Jinshu Su. Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus. In Kang Li, Minrui Fei, George W. Irwin, Shiwei Ma, editors, Bio-Inspired Computational Intelligence and Applications, International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007, Proceedings. Volume 4688 of Lecture Notes in Computer Science, pages 510-522, Springer, 2007. [doi]