BibTeX record conf/cases/WangL13

download as .bib file

@inproceedings{DBLP:conf/cases/WangL13,
  author       = {Man Wang and
                  Zhiyuan Li},
  title        = {Global property violation detection and diagnosis for wireless sensor
                  networks},
  booktitle    = {International Conference on Compilers, Architecture and Synthesis
                  for Embedded Systems, {CASES} 2013, Montreal, QC, Canada, September
                  29 - October 4, 2013},
  pages        = {23:1--23:10},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CASES.2013.6662529},
  doi          = {10.1109/CASES.2013.6662529},
  timestamp    = {Wed, 20 Nov 2019 17:19:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/WangL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics