@conference {DBLP:conf/cec/ChicanoA08,
	title = {Finding liveness errors with {ACO}},
	booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC} 2008, June 1-6, 2008, Hong Kong, China},
	year = {2008},
	pages = {2997{\textendash}3004},
	publisher = {{IEEE}},
	organization = {{IEEE}},
	doi = {10.1109/CEC.2008.4631202},
	url = {http://dx.doi.org/10.1109/CEC.2008.4631202},
	author = {Francisco Chicano and Enrique Alba}
}
