Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke. Formal analysis of policies in wireless sensor network applications. In Third International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012, 2 June 2012, Zurich, Switzerland, Proceedings. pages 15-21, IEEE, 2012. [doi]
Abstract is missing.