Formal verification of distributed dynamic thermal management schemes using HOL4 - Muhammad Usama Sardar (Islamabad NUST-SEECS, 2015)
Dr. Osman Hasan, Dr. Muhammad Shafique, Dr. Muhammad Usman Ilyas, Syeda Hira Taqdees