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 November 5, 2024. http://202.83.167.189/index.php/Nucleus/article/view/522.