@misc{indiciae6f00b3a3e03b,
  title = {Formal Verification of Full-Wave Rectifier: A Case Study},
  author = {Kusum Lata and H S Jamadagni},
  year = {2009},
  doi = {10.1109/asicon.2009.5351239},
  url = {https://arxiv.org/abs/0909.5393},
  note = {Source identifier: 0909.5393}
}