Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri. Programming distributed applications with symbolic reasoning on WSNs. In International Conference on Computing, Networking and Communications, ICNC 2015, Garden Grove, CA, USA, February 16-19, 2015. pages 196-201, IEEE Computer Society, 2015. [doi]
Abstract is missing.