%0 Journal Article %1 sun2016rule %A Sun, Yan %A Wu, Tin-Yu %A Li, Xinming %A Guizani, Mohsen %D 2016 %I IEEE %J IEEE Transactions on Emerging Topics in Computing %K imported %N 3 %P 367--379 %T A rule verification system for smart buildings %V 5

@article{sun2016rule, added-at = {2019-10-12T23:04:03.000+0200}, author = {Sun, Yan and Wu, Tin-Yu and Li, Xinming and Guizani, Mohsen}, biburl = {https://www.bibsonomy.org/bibtex/21f3ae3d3569ae3e801b6879a6948d469/luis.emanuel}, interhash = {7576c0514f763dab4248c3fa9c4f3a87}, intrahash = {1f3ae3d3569ae3e801b6879a6948d469}, journal = {IEEE Transactions on Emerging Topics in Computing}, keywords = {imported}, number = 3, pages = {367--379}, publisher = {IEEE}, timestamp = {2019-10-12T23:04:15.000+0200}, title = {A rule verification system for smart buildings}, volume = 5, year = 2016 }