TY  - BOOK
AU  - Awais Mahmood 
TI  - Formal verification of voltage profiling in smart grids using PRISM
U1  - BEE.2,PR.1544 
PY  - 2014///
CY  - NUST SEECS Islamabad 
PB  - NUST SEECS Islamabad 
N1  - Supervisor;Dr. Osman Hassan
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/10669
ER  -