Latif, N.A. and Hassan, Mohd.F. and Hasan, Mohd.H. (2011) Formal verification for interaction protocol in agent-based e-learning system using model checking toolkit - MCMAS. Communications in Computer and Information Science, 180 CC (PART 2). pp. 412-426. ISSN 18650929