BibTeX record journals/fac/CorrodiHP18

download as .bib file

@article{DBLP:journals/fac/CorrodiHP18,
  author    = {Claudio Corrodi and
               Alexander Heu{\ss}ner and
               Christopher M. Poskitt},
  title     = {A semantics comparison workbench for a concurrent, asynchronous, distributed
               programming language},
  journal   = {Formal Asp. Comput.},
  volume    = {30},
  number    = {1},
  pages     = {163--192},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-017-0443-1},
  doi       = {10.1007/s00165-017-0443-1},
  timestamp = {Thu, 25 Jan 2018 11:13:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/CorrodiHP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier