BibTeX record conf/isgteurope/LinPLJHL18

download as .bib file

@inproceedings{DBLP:conf/isgteurope/LinPLJHL18,
  author    = {Guoying Lin and
               Feng Pan and
               Shi{-}xiang Lu and
               Kunqi Jia and
               Guangyu He and
               Yang Lin},
  title     = {A Formal Approach to Testing Logical Reliablity of Intelligent Device
               in Home Energy Management System},
  booktitle = {2018 {IEEE} {PES} Innovative Smart Grid Technologies Conference Europe,
               ISGT-Europe 2018, Sarajevo, Bosnia and Herzegovina, October 21-25,
               2018},
  pages     = {1--6},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.1109/ISGTEurope.2018.8571570},
  doi       = {10.1109/ISGTEurope.2018.8571570},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/conf/isgteurope/LinPLJHL18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics