Time Domain Verification of Oscillator Circuit Properties

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]

Authors

Goran Frehse

This author has not been identified. Look up 'Goran Frehse' in Google

Bruce H. Krogh

This author has not been identified. Look up 'Bruce H. Krogh' in Google

Rob A. Rutenbar

This author has not been identified. Look up 'Rob A. Rutenbar' in Google

Oded Maler

This author has not been identified. Look up 'Oded Maler' in Google