Yaqoob Salik, Adnan  <br/><br/>
Formal Verification of Demand Response Management Systems in Smart Grid / 
Adnan Yaqoob Salik 
 - Islamabad:  SEECS - NUST,  2018. 
 - ix, 33 p. : ;  30cm. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>MS Thesis Electrical Engg.
<br/><br/><label>Dewey Class. No.: </label>621.3