BibTeX record journals/corr/HeussnerPCM15

download as .bib file

@inproceedings{DBLP:journals/corr/HeussnerPCM15,
  author    = {Alexander Heu{\ss}ner and
               Christopher M. Poskitt and
               Claudio Corrodi and
               Benjamin Morandi},
  title     = {Towards Practical Graph-Based Verification for an Object-Oriented
               Concurrency Model},
  booktitle = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015.},
  pages     = {32--47},
  year      = {2015},
  crossref  = {DBLP:journals/corr/RensinkZ15},
  url       = {https://doi.org/10.4204/EPTCS.181.3},
  doi       = {10.4204/EPTCS.181.3},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HeussnerPCM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RensinkZ15,
  editor    = {Arend Rensink and
               Eduardo Zambon},
  title     = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015},
  series    = {{EPTCS}},
  volume    = {181},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.181},
  doi       = {10.4204/EPTCS.181},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/RensinkZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier