Ahmad Z, Ahmad F, Gondal ZA. Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets. The Nucleus [Internet]. 2020 Jun. 19 [cited 2024 Nov. 22];56(4):137-43. Available from: http://202.83.167.189/index.php/Nucleus/article/view/522