TY  - BOOK
AU  - Bukhari Syed Ali Asadullah 
AU  - Supervisor Dr. Osman Hasan
TI  - Formal Verification of Dynamic Thermal Management for Many Core Systems
U1  - 200 
PY  - 2022///
CY  - Islamabad
PB  - SEECS NUST
KW  - PhD-Electrical Engineering
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/34128
ER  -