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