, Punjab Higher Education Department, Pakistan

• The Nucleus Vol. 56 No. 4 (2019) - Articles
  Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets
  Abstract  PDF