Kusum Lata, H. S. Jamadagni. Formal verification of tunnel diode oscillator with temperature variations. In Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010. pages 217-222, IEEE, 2010. [doi]
@inproceedings{LataJ10-0, title = {Formal verification of tunnel diode oscillator with temperature variations}, author = {Kusum Lata and H. S. Jamadagni}, year = {2010}, doi = {10.1109/ASPDAC.2010.5419891}, url = {http://dx.doi.org/10.1109/ASPDAC.2010.5419891}, researchr = {https://researchr.org/publication/LataJ10-0}, cites = {0}, citedby = {0}, pages = {217-222}, booktitle = {Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010}, publisher = {IEEE}, isbn = {978-1-60558-837-7}, }