BibTeX record conf/emsoft/GhoshL0D17

download as .bib file

@inproceedings{DBLP:conf/emsoft/GhoshL0D17,
  author       = {Saurav Kumar Ghosh and
                  Debasmita Lohar and
                  Dibyendu Das and
                  Soumyajit Dey},
  title        = {Verifying stability guarantees of control software implementations
                  in the presence of sensor level faults: work-in-progress},
  booktitle    = {Proceedings of the Thirteenth {ACM} International Conference on Embedded
                  Software 2017 Companion, {EMSOFT} 2017 Companion, Seoul, Republic
                  of Korea, October 15-20, 2017},
  pages        = {2:1--2:2},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3125503.3125569},
  doi          = {10.1145/3125503.3125569},
  timestamp    = {Tue, 08 Oct 2019 16:18:54 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/GhoshL0D17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}