AHMAD, Z.; AHMAD, F.; GONDAL, Z. A. Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets. The Nucleus, [S. l.], v. 56, n. 4, p. 137–143, 2020. Disponível em: http://202.83.167.189/index.php/Nucleus/article/view/522. Acesso em: 5 nov. 2024.