Return to Issue Details Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone Download Download PDF