Normal view
MARC view
- MS Thesis EE
MS Thesis EE (Topical Term)
Machine generated authority record.
Work cat.: (NUST): Muhammad Usman Sardar. 23069, Formal Verification of Distributed Dynamic Thermai Management schemes using HOL4 /, 2015.