多智体系统时序认知规范的SPIN模型检测

龙士工，王扣武

MultiAgent System SPIN Model Checking Based on the Temporal Logic of Knowledge

LONG Shigong,WANG Kouwu

计算机工程与科学 . 2011, (12): 12 -16 .