BibTeX record conf/sensys/LiangBLZHKZZ16

• > Home > conf/sensys/LiangBLZHKZZ16

@inproceedings{DBLP:conf/sensys/LiangBLZHKZZ16,
  author       = {Chieh{-}Jan Mike Liang and
                  Lei Bu and
                  Zhao Li and
                  Junbei Zhang and
                  Shi Han and
                  B{\"{o}}rje F. Karlsson and
                  Dongmei Zhang and
                  Feng Zhao},
  title        = {Systematically Debugging IoT Control System Correctness for Building
                  Automation},
  booktitle    = {Proceedings of the 3rd {ACM} International Conference on Systems for
                  Energy-Efficient Built Environments, BuildSys@SenSys 2016, Palo Alto,
                  CA, USA, November 16-17, 2016},
  pages        = {133--142},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2993422.2993426},
  doi          = {10.1145/2993422.2993426},
  timestamp    = {Sun, 12 Nov 2023 02:12:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sensys/LiangBLZHKZZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}