Analysis of LEACH protocol(s) using formal verification - Ihsan, A.; Saghar, K.; Fatima, T. (2015 12th International Bhurban Conference on Applied Sciences and Technology (IBCAST), 2015)
Keywords: Formal Modeling; Formal verification; IP networks; Protocol Verification Hierarchal Networks; Routing Protocol; Routing protocols; Wireless sensor networks; Wireless Sensor Networks (WSN)