Kumazawa, T. (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.