Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network. - Bata Krishna Tripathy; Ashray Sudhir; Padmalochan Bera; Mohammad Ashiqur Rahman (COMPSAC (1), 2017)