Agboizebeta Imianvan A, Oluwole Akinyokun C. Mobile Agent Life Cycle Demystified using Formal Method. TECS [Internet]. 2015 May 2 [cited 2026 May 25];3(2):46. Available from: https://scholarpublishing.org/journals/index.php/TECS/article/view/2344