Conghua Zhou, Zhenyu Chen, Zhihong Tao. QBF-Based Symbolic Model Checking for Knowledge and Time. In Jin-yi Cai, S. Barry Cooper, Hong Zhu, editors, Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings. Volume 4484 of Lecture Notes in Computer Science, pages 386-397, Springer, 2007. [doi]
@inproceedings{ZhouCT07, title = {QBF-Based Symbolic Model Checking for Knowledge and Time}, author = {Conghua Zhou and Zhenyu Chen and Zhihong Tao}, year = {2007}, doi = {10.1007/978-3-540-72504-6_34}, url = {http://dx.doi.org/10.1007/978-3-540-72504-6_34}, tags = {rule-based, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/ZhouCT07}, cites = {0}, citedby = {0}, pages = {386-397}, booktitle = {Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings}, editor = {Jin-yi Cai and S. Barry Cooper and Hong Zhu}, volume = {4484}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-72503-9}, }