@article {IOPORT.50220022,
    author       = {Zhou, Conghua and Sun, Bo and Liu, Zhifeng},
    title        = {Abstraction for model checking multi-agent systems},
    year         = {2011},
    journal      = {Frontiers of Computer Science in China},
    volume       = {5},
    number       = {1},
    pages        = {14-25},
    doi          = {10.1007/s11704-010-0358-y},
    identifier   = {50220022},
}