Hana Chockler, Alan J. Hu (Eds.):
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings.
Lecture Notes in Computer Science 5394 Springer 2009, ISBN 978-3-642-01701-8
Edmund M. Clarke, Alexandre Donzé, Axel Legay: Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.
149-163
data released under the ODC-BY 1.0 license
