KUMAZAWA, T. .; YOKOYAMA, C. .; TAKIMOTO, M. .; KAMBAYASHI, Y. . Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, [S. l.], v. 3, n. 7, p. e1, 2016. DOI: 10.4108/eai.21-4-2016.151156. Disponível em: https://publications.eai.eu/index.php/inis/article/view/456. Acesso em: 21 may. 2024.