Formal verification of tunnel diode oscillator with temperature variations.

Kusum Lata, H. S. Jamadagni

Browse the full ASPDAC paper archive.