Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler. Time Domain Verification of Oscillator Circuit Properties. Electronic Notes in Theoretical Computer Science, 153(3):9-22, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.