[1]Nguyen V Y, Ruys T C. Incremental Hashing for Spin[C]∥Proc of the 15th International SPIN Workshop on Model Checking of Software, 2008:232249.
[2]van der Hoek W, Wooldridge M. Model Checking Knowledge and Time[C]∥Proc of the 9th International Spin Workshop on Model Checking of Software, 2002:95111.
[3]van der Meyden, Su K L. Symbolic Model Checking the Knowledge of the Dining Cryptographers[C]∥Proc of the 17th IEEE Security Foundation Workshop,2004:280291.
[4]Zaks A, Joshi R. Verfying MultiThreaded C Programs with SPIN[C]∥Proc of the 15th International SPIN Workshop on Model Checking of Software, 2008:325342.
[5]吴立军, 苏开乐. 多智体系统时态认知规范的模型检测算法[J]. 软件学报, 2004, 15(7):10121020.
[6]陈清亮, 朱可宜. 多智能体协同的认知规范模型检测算法[J]. 中山大学学报, 2009, 48(1):110112.