Muhammad Usama Sardar <br/><br/>
Formal verification of distributed dynamic thermal management schemes using HOL4 

 - Islamabad  NUST-SEECS  2015 
 - 50p.  ill.;  CD ROM 
<br/><br/> Dr. Osman Hasan, Dr. Muhammad Shafique, Dr. Muhammad Usman Ilyas, Syeda Hira Taqdees 
<br/><br/><label>Dewey Class. No.: </label>MSEE-4 SAR