Formal verification of voltage profiling in smart grids using PRISM - Awais Mahmood (NUST SEECS Islamabad NUST SEECS Islamabad, 2014)
Supervisor;Dr. Osman Hassan
HB