% This file was created with JabRef 2.3.1.
% Encoding: MacRoman

@INPROCEEDINGS{chicano08gecco,
  author = {Francisco Chicano and Enrique Alba},
  title = {Searching for Liveness Property Violations in Concurrent Systems
	with {ACO}},
  booktitle = {Proceedings of Genetic and Evolutionary Computation Conference},
  year = {2008},
  pages = {1727-1734},
  month = {July},
  publisher = {ACM},
  owner = {Francis},
  timestamp = {2008.05.05}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}