@conference {DBLP:conf/eurocast/AlbaC07,
	title = {Ant Colony Optimization for Model Checking},
	booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers},
	year = {2007},
	pages = {523{\textendash}530},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-540-75867-9_66},
	url = {http://dx.doi.org/10.1007/978-3-540-75867-9_66},
	author = {Enrique Alba and Francisco Chicano},
	editor = {Roberto Moreno-D{\'\i}az and Franz Pichler and Alexis Quesada-Arencibia}
}
