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), p. e1. doi: 10.4108/eai.21-4-2016.151156.