Kumazawa, T. .; Yokoyama, C. .; Takimoto, M. .; Kambayashi, Y. . Ant Colony Optimization Based Model Checking Extended by Smell-Like Pheromone. EAI Endorsed Trans Ind Net Intel Syst 2016, 3 (7), e1. https://doi.org/10.4108/eai.21-4-2016.151156.