Kusum Lata, H. S. Jamadagni. Formal verification of Full-Wave Rectifier using SPICE circuit simulation traces. In 11th International Symposium on Quality of Electronic Design (ISQED 2010), 22-24 March 2010, San Jose, CA, USA. pages 264-270, IEEE, 2010. [doi]
@inproceedings{LataJ10, title = {Formal verification of Full-Wave Rectifier using SPICE circuit simulation traces}, author = {Kusum Lata and H. S. Jamadagni}, year = {2010}, doi = {10.1109/ISQED.2010.5450556}, url = {http://dx.doi.org/10.1109/ISQED.2010.5450556}, researchr = {https://researchr.org/publication/LataJ10}, cites = {0}, citedby = {0}, pages = {264-270}, booktitle = {11th International Symposium on Quality of Electronic Design (ISQED 2010), 22-24 March 2010, San Jose, CA, USA}, publisher = {IEEE}, isbn = {978-1-4244-6455-5}, }