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]
@inproceedings{WuS07:8,
title = {Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus},
author = {Lijun Wu and Jinshu Su},
year = {2007},
doi = {10.1007/978-3-540-74769-7_55},
url = {http://dx.doi.org/10.1007/978-3-540-74769-7_55},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/WuS07%3A8},
cites = {0},
citedby = {0},
pages = {510-522},
booktitle = {Bio-Inspired Computational Intelligence and Applications, International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007, Proceedings},
editor = {Kang Li and Minrui Fei and George W. Irwin and Shiwei Ma},
volume = {4688},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74768-0},
}