BibTeX record journals/corr/abs-1108-0229

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1108-0229,
  author       = {Ross Horne and
                  Vladimiro Sassone},
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {A Verified Algebra for Linked Data},
  booktitle    = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  pages        = {20--33},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58.2},
  doi          = {10.4204/EPTCS.58.2},
  timestamp    = {Sat, 11 Jul 2020 10:44:59 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0229.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics