Yizhi Wu, Anthony Rowe. Logic-Based Programming for Wireless Sensor-Activator Networks. In 2011 IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2011, Chicago, Illinois, USA, 12-14 April, 2011. pages 163-173, IEEE, 2011. [doi]
Abstract is missing.