BibTeX record conf/seke/FangZW18

download as .bib file

@inproceedings{DBLP:conf/seke/FangZW18,
  author    = {Yucheng Fang and
               Huibiao Zhu and
               Huiwen Wang},
  editor    = {{\'{O}}scar Mort{\'{a}}gua Pereira},
  title     = {Modeling and Verifying Leader Election Algorithm in {CSP} {(S)}},
  booktitle = {The 30th International Conference on Software Engineering and Knowledge
               Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
               2018},
  pages     = {342--341},
  publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year      = {2018},
  url       = {https://doi.org/10.18293/SEKE2018-067},
  doi       = {10.18293/SEKE2018-067},
  timestamp = {Fri, 09 Nov 2018 12:28:36 +0100},
  biburl    = {https://dblp.org/rec/conf/seke/FangZW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics