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