Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs.
Mohammed Abdullah AlnuemNazir Ahmad ZafarMuhammad ImranSana UllahMahmoud S. FayedPublished in: Int. J. Distributed Sens. Networks (2014)