@conference {DBLP:conf/gecco/AlbaC08,
	title = {Searching for liveness property violations in concurrent systems with {ACO}},
	booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008},
	year = {2008},
	pages = {1727{\textendash}1734},
	publisher = {{ACM}},
	organization = {{ACM}},
	doi = {10.1145/1389095.1389431},
	url = {http://doi.acm.org/10.1145/1389095.1389431},
	author = {Enrique Alba and Francisco Chicano},
	editor = {Conor Ryan and Maarten Keijzer}
}
