000 00577nam a22001697a 4500
020 _qHard Cover.
082 _a621.3
100 _aYaqoob Salik, Adnan
245 _aFormal Verification of Demand Response Management Systems in Smart Grid /
_cAdnan Yaqoob Salik
260 _aIslamabad:
_bSEECS - NUST,
_c2018.
300 _aix, 33 p. : ;
_c30cm.
650 _aMS Thesis Electrical Engg.
_923357
700 _aDr. Osman Hasan.
856 _uhttp://10.250.8.41:8080/xmlui/handle/123456789/13041
942 _2ddc
_cTHE
999 _c530048
_d530048