00450nam a22001457a 4500 BEE.2,PR.1544 Awais Mahmood 92227 Formal verification of voltage profiling in smart grids using PRISM NUST SEECS Islamabad NUST SEECS Islamabad 2014 60 Supervisor;Dr. Osman Hassan HB http://10.250.8.41:8080/xmlui/handle/123456789/10669 BK ddc 12951 12951 2 0 ddc 0 0 CL CL GEN 2014-10-12 BEE.2,PR.1544 SEECSP01544 2014-10-12 2014-10-12 PR 2 0 ddc 0 0 CL CL THE 2021-06-23 621.3 CL-BP-708 2021-06-23 2021-06-23 THE