Kumazawa, T. ., Yokoyama, C. ., Takimoto, M. ., & Kambayashi, Y. . (2016). Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 3(7), e1. https://doi.org/10.4108/eai.21-4-2016.151156