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
The dining cryptographers problem: Unconditional sender and recipient untraceability, Journal of Cryptology, vol.1, issue.1, pp.65-75, 1988. ,
DOI : 10.1007/BF00206326
Peled, Model Checking, 1999. ,
A symmetry reduction technique for model checking temporal-epistemic logic, the 21st International Joint Conference on Artificial Intelligence, pp.721-726, 2009. ,
Abstraction in model checking multi-agent systems, 8th International Joint Conference on Autonomous Agents and Multiagent Systems, pp.945-952, 2009. ,
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
Distributed symbolic model checking for µ-calculus', Formal Methods in System Design, pp.197-219, 2005. ,
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
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. ,
MCMAS: A model checker for multiagent systems, Proceedings of TACAS 2006, pp.450-454, 2006. ,
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
Distributed processes and the logic of knowledge, Logic of Programs, pp.256-268, 1985. ,
DOI : 10.1007/3-540-15648-8_21
Verifying epistemic properties of multiagent systems via bounded model checking', Fundamenta Informaticae, pp.167-185, 2003. ,
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
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
CUDD: CU decision diagram package -release 2.4.2, 2009. ,