BibTeX record conf/ifip10-3/DuarteFWH10

• > Home > conf/ifip10-3/DuarteFWH10

@inproceedings{DBLP:conf/ifip10-3/DuarteFWH10,
  author       = {Lucio Mauro Duarte and
                  Luciana Foss and
                  Fl{\'{a}}vio Rech Wagner and
                  Tales Heimfarth},
  editor       = {Mike Hinchey and
                  Bernd Kleinjohann and
                  Lisa Kleinjohann and
                  Peter A. Lindsay and
                  Franz J. Rammig and
                  Jon Timmis and
                  Marilyn Wolf},
  title        = {Model Checking the Ant Colony Optimisation},
  booktitle    = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
                  {TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
                  Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
                  September 20-23, 2010. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {329},
  pages        = {221--232},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15234-4\_22},
  doi          = {10.1007/978-3-642-15234-4\_22},
  timestamp    = {Tue, 26 Jun 2018 14:11:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/DuarteFWH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}