Order Reprints
Journal: Sensors, 2012
Volume: 12
Page(s): 11754-11781
Article:
Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks
Imran, M.; Zafar, N.A.
http://www.mdpi.com/1424-8220/12/9/11754
