Agboizebeta Imianvan, A., & Oluwole Akinyokun, C. (2015). Mobile Agent Life Cycle Demystified using Formal Method. Transactions on Engineering and Computing Sciences, 3(2), 46. https://doi.org/10.14738/tmlai.32.1025