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://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/522. Acesso em: 24 apr. 2024.