@conference {202,
	title = {Ant Colony Optimization in Model Checking},
	booktitle = {Taller de apoyo a la decisi{\'o}n en Ingenier{\'\i}a del Software},
	year = {2009},
	month = {September},
	author = {Francisco Chicano and Enrique Alba}
}
