Agboizebeta Imianvan A, Oluwole Akinyokun C. Mobile Agent Life Cycle Demystified using Formal Method. TECS [Internet]. 2015May2 [cited 2024Dec.4];3(2):46. Available from: http://804474.wannyin.cyou/index.php/TMLAI/article/view/1025