BibTeX record journals/corr/abs-1002-2864

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1002-2864,
  author    = {Luca Aceto and
               Matteo Cimini and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {A Bisimulation-based Method for Proving the Validity of Equations
               in {GSOS} Languages},
  booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
               2009, Bologna, Italy, August 31, 2009.},
  pages     = {1--16},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-1002-2978},
  url       = {https://doi.org/10.4204/EPTCS.18.1},
  doi       = {10.4204/EPTCS.18.1},
  timestamp = {Mon, 13 Aug 2018 16:48:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1002-2864},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1002-2978,
  editor    = {Bartek Klin and
               Pawel Sobocinski},
  title     = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
               2009, Bologna, Italy, August 31, 2009},
  series    = {{EPTCS}},
  volume    = {18},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.18},
  doi       = {10.4204/EPTCS.18},
  timestamp = {Mon, 13 Aug 2018 16:47:34 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1002-2978},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier