Agboizebeta Imianvan, Anthony, and Charles Oluwole Akinyokun. “Mobile Agent Life Cycle Demystified Using Formal Method”. Transactions on Engineering and Computing Sciences 3, no. 2 (May 2, 2015): 46. Accessed May 4, 2024. https://journals.scholarpublishing.org/index.php/TMLAI/article/view/1025.