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]
Abstract is missing.