Ahmad, Z., Punjab Higher Education Department, Pakistan

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