BibTeX record conf/cdc/LeitaoCR05

download as .bib file

@inproceedings{DBLP:conf/cdc/LeitaoCR05,
  author       = {Paulo Leit{\~{a}}o and
                  Armando W. Colombo and
                  Francisco J. Restivo},
  title        = {Formal Specification of {ADACOR} Holonic Control System: Coordination
                  Models},
  booktitle    = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
                  Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
                  December, 2005},
  pages        = {2137--2142},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/CDC.2005.1582477},
  doi          = {10.1109/CDC.2005.1582477},
  timestamp    = {Sat, 09 Apr 2022 12:48:34 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/LeitaoCR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics