TY  - RPRT
TI  - Formal Verification of Full-Wave Rectifier: A Case Study
AU  - Kusum Lata
AU  - H S Jamadagni
PY  - 2009
DO  - 10.1109/asicon.2009.5351239
UR  - https://arxiv.org/abs/0909.5393
ID  - 0909.5393
ER  -