Kusum Lata

	2010
3		Kusum Lata, H. S. Jamadagni: Formal verification of tunnel diode oscillator with temperature variations. ASP-DAC 2010: 217-222
2		Kusum Lata, H. S. Jamadagni: Formal verification of Full-Wave Rectifier using SPICE circuit simulation traces. ISQED 2010: 264-270
	2009
1		Kusum Lata, H. S. Jamadagni: Formal Verification of Full-Wave Rectifier: A Case Study CoRR abs/0909.5393: (2009)

Coauthor Index

1

H. S. Jamadagni

[1] [2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page