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

@ARTICLE{Chicano08POR,
  author = {Francisco Chicano and Enrique Alba},
  title = {Ant Colony Optimization with Partial Order Reduction for Discovering
	Safety Property Violations in Concurrent Models},
  journal = {Information Processing Letters},
  year = {2008},
  volume = {106},
  pages = {221-231},
  number = {6},
  month = {June},
  doi = {10.1016/j.ipl.2007.11.015},
  owner = {Francis},
  timestamp = {2007.12.21}
}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}

@comment{jabref-meta: selector_publisher:}