TY  - BOOK
AU  - Muhammad Usama Sardar
TI  - Formal verification of distributed dynamic thermal management schemes using HOL4
U1  - MSEE-4 SAR 
PY  - 2015///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Dr. Osman Hasan, Dr. Muhammad Shafique, Dr. Muhammad Usman Ilyas, Syeda Hira Taqdees
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/8787
ER  -