TY  - BOOK
AU  - Yaqoob Salik, Adnan 
AU  - Dr. Osman Hasan.
TI  - Formal Verification of Demand Response Management Systems in Smart Grid
U1  - 621.3 
PY  - 2018///
CY  - Islamabad
PB  - SEECS - NUST
KW  - MS Thesis Electrical Engg
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/13041
ER  -