AGBOIZEBETA IMIANVAN, A.; OLUWOLE AKINYOKUN, C. Mobile Agent Life Cycle Demystified using Formal Method. Transactions on Engineering and Computing Sciences, [S. l.], v. 3, n. 2, p. 46, 2015. DOI: 10.14738/tmlai.32.1025. Disponível em: https://journals.scholarpublishing.org/index.php/TMLAI/article/view/1025. Acesso em: 4 may. 2024.