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