Sciweavers

DATE
2006
IEEE

Verifying analog oscillator circuits using forward/backward abstraction refinement

14 years 4 months ago
Verifying analog oscillator circuits using forward/backward abstraction refinement
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where DATE
Authors Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
Comments (0)