Ahmad, Z., F. Ahmad, and Z. A Gondal. “Formal Analysis of Improved and Secure Architecture of E-Voting System Using Hierarchical Coloured Petri Nets”. The Nucleus 56, no. 4 (June 19, 2020): 137–143. Accessed October 14, 2024. http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/522.