Kumazawa, T. , Yokoyama, C. , Takimoto, M. and 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 (Apr. 2016), e1. DOI:https://doi.org/10.4108/eai.21-4-2016.151156.