@inproceedings{conf/isgteurope/LinPLJHL18,
  added-at = {2019-05-29T00:00:00.000+0200},
  author = {Lin, Guoying and Pan, Feng and xiang Lu, Shi and Jia, Kunqi and He, Guangyu and Lin, Yang},
  biburl = {https://www.bibsonomy.org/bibtex/25dca010b1572653bfdacb67c1226f84f/dblp},
  booktitle = {ISGT Europe},
  crossref = {conf/isgteurope/2018},
  ee = {https://doi.org/10.1109/ISGTEurope.2018.8571570},
  interhash = {63f271ce3990404d41f229a69ab5a2a3},
  intrahash = {5dca010b1572653bfdacb67c1226f84f},
  isbn = {978-1-5386-4505-5},
  keywords = {dblp},
  pages = {1-6},
  publisher = {IEEE},
  timestamp = {2019-05-30T11:59:48.000+0200},
  title = {A Formal Approach to Testing Logical Reliablity of Intelligent Device in Home Energy Management System.},
  url = {http://dblp.uni-trier.de/db/conf/isgteurope/isgteurope2018.html#LinPLJHL18},
  year = 2018
}

{"_id":"dpQCRKnTAgdHaidGc","bibbaseid":"lin-pan-xianglu-jia-he-lin-aformalapproachtotestinglogicalreliablityofintelligentdeviceinhomeenergymanagementsystem-2018","authorIDs":[],"author_short":["Lin, G.","Pan, F.","xiang Lu, S.","Jia, K.","He, G.","Lin, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-05-29T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Lin"],"firstnames":["Guoying"],"suffixes":[]},{"propositions":[],"lastnames":["Pan"],"firstnames":["Feng"],"suffixes":[]},{"propositions":["xiang"],"lastnames":["Lu"],"firstnames":["Shi"],"suffixes":[]},{"propositions":[],"lastnames":["Jia"],"firstnames":["Kunqi"],"suffixes":[]},{"propositions":[],"lastnames":["He"],"firstnames":["Guangyu"],"suffixes":[]},{"propositions":[],"lastnames":["Lin"],"firstnames":["Yang"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/25dca010b1572653bfdacb67c1226f84f/dblp","booktitle":"ISGT Europe","crossref":"conf/isgteurope/2018","ee":"https://doi.org/10.1109/ISGTEurope.2018.8571570","interhash":"63f271ce3990404d41f229a69ab5a2a3","intrahash":"5dca010b1572653bfdacb67c1226f84f","isbn":"978-1-5386-4505-5","keywords":"dblp","pages":"1-6","publisher":"IEEE","timestamp":"2019-05-30T11:59:48.000+0200","title":"A Formal Approach to Testing Logical Reliablity of Intelligent Device in Home Energy Management System.","url":"http://dblp.uni-trier.de/db/conf/isgteurope/isgteurope2018.html#LinPLJHL18","year":"2018","bibtex":"@inproceedings{conf/isgteurope/LinPLJHL18,\n added-at = {2019-05-29T00:00:00.000+0200},\n author = {Lin, Guoying and Pan, Feng and xiang Lu, Shi and Jia, Kunqi and He, Guangyu and Lin, Yang},\n biburl = {https://www.bibsonomy.org/bibtex/25dca010b1572653bfdacb67c1226f84f/dblp},\n booktitle = {ISGT Europe},\n crossref = {conf/isgteurope/2018},\n ee = {https://doi.org/10.1109/ISGTEurope.2018.8571570},\n interhash = {63f271ce3990404d41f229a69ab5a2a3},\n intrahash = {5dca010b1572653bfdacb67c1226f84f},\n isbn = {978-1-5386-4505-5},\n keywords = {dblp},\n pages = {1-6},\n publisher = {IEEE},\n timestamp = {2019-05-30T11:59:48.000+0200},\n title = {A Formal Approach to Testing Logical Reliablity of Intelligent Device in Home Energy Management System.},\n url = {http://dblp.uni-trier.de/db/conf/isgteurope/isgteurope2018.html#LinPLJHL18},\n year = 2018\n}\n\n","author_short":["Lin, G.","Pan, F.","xiang Lu, S.","Jia, K.","He, G.","Lin, Y."],"key":"conf/isgteurope/LinPLJHL18","id":"conf/isgteurope/LinPLJHL18","bibbaseid":"lin-pan-xianglu-jia-he-lin-aformalapproachtotestinglogicalreliablityofintelligentdeviceinhomeenergymanagementsystem-2018","role":"author","urls":{"Link":"https://doi.org/10.1109/ISGTEurope.2018.8571570","Paper":"http://dblp.uni-trier.de/db/conf/isgteurope/isgteurope2018.html#LinPLJHL18"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/yang lin?items=1000","creationDate":"2019-08-22T03:53:53.371Z","downloads":0,"keywords":["dblp"],"search_terms":["formal","approach","testing","logical","reliablity","intelligent","device","home","energy","management","system","lin","pan","xiang lu","jia","he","lin"],"title":"A Formal Approach to Testing Logical Reliablity of Intelligent Device in Home Energy Management System.","year":2018,"dataSources":["a57oXwvfTysj8WtNo"]}