Hong Luo, Ruosi Wang, Xinming Li. A Rule Verification and Resolution Framework in Smart Building System. In IEEE 19th International Conference on Parallel and Distributed Systems, ICPADS 2013, Seoul, Korea, December 15-18, 2013. pages 438-439, IEEE, 2013. [doi]
@inproceedings{LuoWL13-1, title = {A Rule Verification and Resolution Framework in Smart Building System}, author = {Hong Luo and Ruosi Wang and Xinming Li}, year = {2013}, doi = {10.1109/ICPADS.2013.74}, url = {http://dx.doi.org/10.1109/ICPADS.2013.74}, researchr = {https://researchr.org/publication/LuoWL13-1}, cites = {0}, citedby = {0}, pages = {438-439}, booktitle = {IEEE 19th International Conference on Parallel and Distributed Systems, ICPADS 2013, Seoul, Korea, December 15-18, 2013}, publisher = {IEEE}, }