BibTeX record conf/tase/FangZY19

download as .bib file

@inproceedings{DBLP:conf/tase/FangZY19,
  author    = {Yucheng Fang and
               Huibiao Zhu and
               Jiaqi Yin},
  editor    = {Dominique M{\'{e}}ry and
               Shengchao Qin},
  title     = {Verifying Opacity of a Modified {PSTM}},
  booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2019, Guilin, China, July 29-31, 2019},
  pages     = {232--239},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/TASE.2019.00008},
  doi       = {10.1109/TASE.2019.00008},
  timestamp = {Mon, 09 Dec 2019 18:38:09 +0100},
  biburl    = {https://dblp.org/rec/conf/tase/FangZY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics