R. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge, Model checking multiagent programs with CASP, Proc. of CAV03, pp.110-113, 2003.

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. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis, Memory-efficient algorithms for the verification of temporal properties, Formal Methods in System Design, vol.64, issue.12, pp.275-288, 1992.
DOI : 10.1007/BF00121128

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, 1995.

P. Gammie and R. Van-der-meyden, MCK: Model Checking the Logic of Knowledge, Proc. of CAV04, pp.479-483, 2004.
DOI : 10.1007/978-3-540-27813-9_41

R. Gerth, R. Kuiper, D. Peled, and W. Penczek, A partial order approach to branching time logic model checking, Proceedings Third Israel Symposium on the Theory of Computing and Systems, pp.132-152, 1999.
DOI : 10.1109/ISTCS.1995.377038

P. Godefroid, Using partial orders to improve automatic verification methods, Proc. of CAV90, pp.176-185, 1991.
DOI : 10.1007/BFb0023731

J. Halpern, R. Meyden, and M. Y. Vardi, Complete Axiomatizations for Reasoning about Knowledge and Time, SIAM Journal on Computing, vol.33, issue.3, pp.674-703, 2003.
DOI : 10.1137/S0097539797320906

J. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990.
DOI : 10.1145/79147.79161

W. V. Hoek and M. Wooldridge, Model checking knowledge and time, Proc. of SPIN02, pp.95-111, 2002.

G. Holzmann and D. Peled, Partial order reduction of the state space, Proc. of SPIN95, 1995.

G. Holzmann, D. Peled, and M. Yannakakis, On nested depth first search, Proc. of SPIN96, pp.23-32, 1996.

M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Polrola et al., VerICS 2007 -a Model Checker for Knowledge and Real-Time, Fundamenta Informaticae, vol.85, pp.1-4, 2008.

M. Kacprzak, A. Lomuscio, A. Niewiadomski, W. Penczek, F. Raimondi et al., Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol, Fundamenta Informaticae, vol.63, issue.2-3, pp.221-240, 2006.

M. E. Kurbán, P. Niebert, H. Qu, and W. Vogler, Stronger Reduction Criteria for Local First Search, Proc. of ICTAC06, pp.108-122, 2006.
DOI : 10.1007/11921240_8

A. Lomuscio, W. Penczek, and H. Qu, Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic, Proc. of MoChArt08, pp.106-121, 2009.
DOI : 10.1007/BFb0023729

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

K. L. Mcmillan, Symbolic Model Checking, 1993.

K. L. Mcmillan, A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, pp.45-65, 1995.
DOI : 10.1007/BF01384314

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

D. Peled, All from one, one for all: on model checking using representatives, Proc. of CAV93, pp.409-423, 1993.
DOI : 10.1007/3-540-56922-7_34

D. Peled, Combining partial order reductions with on-the-fly model-checking, Proc. of CAV94, pp.377-390, 1994.

W. Penczek and A. Lomuscio, Verifying epistemic properties of multi-agent systems via bounded model checking, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.167-185, 2003.
DOI : 10.1145/860575.860609

W. Penczek, M. Szreter, R. Gerth, and R. Kuiper, Improving Partial Order Reductions for Universal Branching Time Properties, Fundamenta Informaticae, vol.43, issue.1-4, pp.245-267, 2000.

A. Puri and P. Varaiya, Verification of hybrid systems using abstractions, Hybrid Systems II, pp.359-369, 1995.
DOI : 10.1007/3-540-60472-3_18

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, 2007.
DOI : 10.1016/j.jal.2005.12.010

S. Rosenschein, Formal theories of knowledge in AI and robotics, New Generation Computing, vol.9, issue.4, pp.345-357, 1985.
DOI : 10.1007/BF03037076

A. Valmari, A stubborn attack on state explosion, Proc. of CAV90, pp.156-165, 1990.

W. Van-der-hoek, M. Roberts, and M. Wooldridge, Knowledge and social laws, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.674-681, 2005.
DOI : 10.1145/1082473.1082576

R. Van-der-meyden and K. Su, Symbolic model checking the knowledge of the dining cryptographers, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., pp.280-291, 2004.
DOI : 10.1109/CSFW.2004.1310747

K. Baukus and R. Van-der-meyden, A Knowledge Based Analysis of Cache Coherence, Proc. of ICFEM04, pp.99-114, 2004.
DOI : 10.1007/978-3-540-30482-1_15

J. Archibald and J. Baer, Cache coherence protocols: evaluation using a multiprocessor simulation model, ACM Transactions on Computer Systems, vol.4, issue.4, pp.273-298, 1986.
DOI : 10.1145/6513.6514