KUMAZAWA, Tsutomu; YOKOYAMA, Chihiro; TAKIMOTO, Munehiro; KAMBAYASHI, Yasushi. 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: 1 jan. 2026.