Normal view
MARC view
- Ahmad, Asad
Ahmad, Asad (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Ahmad, Asad, Formal Analysis of Power Electronics Circuits using Theorem Proving/