Buttyán, L. and Ta, V.T. 2011. Formal verification of secure ad-hoc network routing protocols using deductive model-checking. Periodica Polytechnica Electrical Engineering. 55, 1-2 (Jan. 2011), 31–43. https://doi.org/10.3311/pp.ee.2011-1-2.04.