Ahmad, Z., Ahmad, F. and Gondal, Z. A. (2020) “Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets”, The Nucleus, 56(4), pp. 137–143. Available at: http://www.thenucleuspak.org.pk/index.php/Nucleus/article/view/522 (Accessed: 20 April 2024).