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 2024 May 5];55(1-2):31-43. Available from: https://pp.bme.hu/ee/article/view/2111