Awais Mahmood  <br/><br/>
Formal verification of voltage profiling in smart grids using PRISM 

 - NUST SEECS Islamabad   NUST SEECS Islamabad   2014 
 - 60 
<br/><br/> Supervisor;Dr. Osman Hassan  
<br/><br/> HB 
<br/><br/><label>Dewey Class. No.: </label>BEE.2,PR.1544