@inproceedings{duarte:hal-01054497,
  TITLE = {{Model Checking the Ant Colony Optimisation}},
  AUTHOR = {Duarte, Lucio Mauro and Foss, Luciana and Wagner, Fl{\'a}vio Rech and Heimfarth, Tales},
  URL = {https://inria.hal.science/hal-01054497},
  BOOKTITLE = {{7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) }},
  ADDRESS = {Brisbane, Australia},
  EDITOR = {Mike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Peter A. Lindsay; Franz J. Rammig; Jon Timmis; Marilyn Wolf},
  PUBLISHER = {{Springer}},
  SERIES = {Distributed, Parallel and Biologically Inspired Systems},
  VOLUME = {AICT-329},
  PAGES = {221-232},
  YEAR = {2010},
  MONTH = Sep,
  DOI = {10.1007/978-3-642-15234-4\_22},
  KEYWORDS = {ant colony optimisation ; self-organisation ; emergent behaviour ; probabilistic model checking},
  PDF = {https://inria.hal.science/hal-01054497/file/papermodel.pdf},
  HAL_ID = {hal-01054497},
  HAL_VERSION = {v1},
}