Normal view
MARC view
- Muhammad Usama Sardar
Muhammad Usama Sardar (Personal Name)
Machine generated authority record.
Work cat.: (NUST)13448: Muhammad Usama Sardar, Formal verification of distributed dynamic thermal management schemes using HOL4, 2015