TY  - SER
AU  - Gao, Wenzhong
TI  - Symbolically Aided Model Development  for  An Induction Machine in Virtual Test Bed
KW  - Automatic Differentiation
KW  - Dynamic Response
ER  -