BUTTYÁN, Levente; TA, Vinh Thong. Formal verification of secure ad-hoc network routing protocols using deductive model-checking. Periodica Polytechnica Electrical Engineering, [S. l.], v. 55, n. 1-2, p. 31–43, 2011. 10.3311/pp.ee.2011-1-2.04. Disponível em: https://pp.bme.hu/ee/article/view/2111. Acesso em: 5 may. 2024.