1. Campos, S.: A quantitative approach to the formal verification of real-time systems. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, USA (1996)
2. Lecture Notes in Computer Science;M. Cohen,2009
3. Cohen, M., Dam, M., Lomuscio, A., Russo, F.: Abstraction in model checking multi-agent systems. In: Proc. of AAMAS 2009, vol. 2, pp. 945–952. IFAAMAS (2009)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
5. Lecture Notes in Computer Science;W. Hoek van der,2002