Conghua Zhou, Bo Sun, Zhifeng Liu. Abstraction for model checking multi-agent systems. Frontiers of Computer Science in China, 5(1):14-25, 2011. [doi]
@article{ZhouSL11, title = {Abstraction for model checking multi-agent systems}, author = {Conghua Zhou and Bo Sun and Zhifeng Liu}, year = {2011}, doi = {10.1007/s11704-010-0358-y}, url = {http://dx.doi.org/10.1007/s11704-010-0358-y}, tags = {model checking, meta-model, abstraction, Meta-Environment}, researchr = {https://researchr.org/publication/ZhouSL11}, cites = {0}, citedby = {0}, journal = {Frontiers of Computer Science in China}, volume = {5}, number = {1}, pages = {14-25}, }