BibTeX record journals/jlp/ZhuYHBSQ12

download as .bib file

@article{DBLP:journals/jlp/ZhuYHBSQ12,
  author    = {Huibiao Zhu and
               Fan Yang and
               Jifeng He and
               Jonathan P. Bowen and
               Jeff W. Sanders and
               Shengchao Qin},
  title     = {Linking operational semantics and algebraic semantics for a probabilistic
               timed shared-variable language},
  journal   = {J. Log. Algebr. Program.},
  volume    = {81},
  number    = {1},
  pages     = {2--25},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jlap.2011.06.003},
  doi       = {10.1016/j.jlap.2011.06.003},
  timestamp = {Wed, 14 Nov 2018 10:17:22 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/ZhuYHBSQ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier