1. Kannan, Kasmuri.: Agent Based Content Management for E-Learning (2005)
2. Gascuena, Fernandez-Caballero.: An Agent-Based Intelligent Tutoring System for Enhancing E-Learning/E-Teaching (2005)
3. Raimondi, F.: Model Checking Multi-agent Systems. Department of Computer Science. University of London, London (2006)
4. Edmund, J., Clarke, M., et al.: Model Checking, p. 307. The MIT Press, Cambridge (1999)
5. Latif, N.A., et al.: Utilizing Electronic Institution for protocol specification in agent-based e-learning system. In: Proc. of IEEE Student Conference on Research and Development (SCOReD), pp. 132–135 (2009)