Buttyán L, Ta VT. Formal verification of secure ad-hoc network routing protocols using deductive model-checking. Period. Polytech. Elec. Eng. [Internet]. 2011 Jan. 1 [cited 2025 Jan. 11];55(1-2):31-43. Available from: https://pp.bme.hu/ee/article/view/2111