BibTeX record journals/corr/HenrioKLM15

• > Home > journals/corr/HenrioKLM15

@inproceedings{DBLP:journals/corr/HenrioKLM15,
  author       = {Ludovic Henrio and
                  Oleksandra Kulankhina and
                  Dongqian Liu and
                  Eric Madelaine},
  editor       = {Javier C{\'{a}}mara and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Verifying the correct composition of distributed components: Formalisation
                  and Tool},
  booktitle    = {Proceedings 13th International Workshop on Foundations of Coordination
                  Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
                  6th September 2014},
  series       = {{EPTCS}},
  volume       = {175},
  pages        = {69--85},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.175.5},
  doi          = {10.4204/EPTCS.175.5},
  timestamp    = {Sat, 05 Sep 2020 17:48:55 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HenrioKLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}