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