View of Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets

Return to Article Details Formal Analysis of Improved and Secure Architecture of E-voting System using Hierarchical Coloured Petri Nets Download Download PDF