R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

D. Chaum, The dining cryptographers problem: Unconditional sender and recipient untraceability, Journal of Cryptology, vol.1, issue.1, pp.65-75, 1988.
DOI : 10.1007/BF00206326

E. M. Clarke, O. Grumberg, and D. A. , Peled, Model Checking, 1999.

M. Cohen, M. Dam, A. Lomuscio, and H. Qu, A symmetry reduction technique for model checking temporal-epistemic logic, the 21st International Joint Conference on Artificial Intelligence, pp.721-726, 2009.

M. Cohen, M. Dam, A. Lomuscio, and F. Russo, Abstraction in model checking multi-agent systems, 8th International Joint Conference on Autonomous Agents and Multiagent Systems, pp.945-952, 2009.

P. Gammie and R. Van-der-meyden, MCK: Model Checking the Logic of Knowledge, Proceedings of 16th International Conference on Computer Aided Verification, pp.479-483, 2004.
DOI : 10.1007/978-3-540-27813-9_41

O. Grumberg, T. Heyman, and A. Schuster, Distributed symbolic model checking for µ-calculus', Formal Methods in System Design, pp.197-219, 2005.

A. Lomuscio, H. Qu, and F. Raimondi, MCMAS: A Model Checker for the Verification of Multi-Agent Systems, Proceedings of CAV 2009, pp.682-688, 2009.
DOI : 10.1007/978-3-642-02658-4_55

A. Lomuscio, H. Qu, and M. Solanki, Towards verifying compliance in agent-based web service compositions, Proceedings of The Seventh International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS-08). IFAAMAS, 2008.

A. Lomuscio and F. Raimondi, MCMAS: A model checker for multiagent systems, Proceedings of TACAS 2006, pp.450-454, 2006.

R. M. Needham and M. D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM, vol.21, issue.12, pp.993-999, 1978.
DOI : 10.1145/359657.359659

R. Parikh and R. Ramanujam, Distributed processes and the logic of knowledge, Logic of Programs, pp.256-268, 1985.
DOI : 10.1007/3-540-15648-8_21

W. Penczek and A. Lomuscio, Verifying epistemic properties of multiagent systems via bounded model checking', Fundamenta Informaticae, pp.167-185, 2003.

F. Raimondi and A. Lomuscio, Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams, Journal of Applied Logic, vol.5, issue.2, pp.235-251, 2005.
DOI : 10.1016/j.jal.2005.12.010

D. Sahoo, J. Jain, S. K. Iyer, and D. L. Dill, A New Reachability Algorithm for Symmetric Multi-processor Architecture, the 3th International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), pp.26-38, 2005.
DOI : 10.1007/11562948_5

]. F. Somenzi, CUDD: CU decision diagram package -release 2.4.2, 2009.