BibTeX record conf/seke/YinZFXW19

download as .bib file

@inproceedings{DBLP:conf/seke/YinZFXW19,
  author    = {Jiaqi Yin and
               Huibiao Zhu and
               Yuan Fei and
               Qiwen Xu and
               Ruobiao Wu},
  editor    = {Angelo Perkusich},
  title     = {Formalization and Verification of {RTPS} StatefulWriter Module Using
               {CSP}},
  booktitle = {The 31st International Conference on Software Engineering and Knowledge
               Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
               2019},
  pages     = {147--198},
  publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year      = {2019},
  url       = {https://doi.org/10.18293/SEKE2019-060},
  doi       = {10.18293/SEKE2019-060},
  timestamp = {Wed, 14 Aug 2019 09:30:44 +0200},
  biburl    = {https://dblp.org/rec/conf/seke/YinZFXW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics