Book Section

Ul Asad, H., Jones, K. and Surre, F. (2014). Verifying Robust Frequency Domain Properties of Non Linear Oscillators using SMT. In: Pleskacz, W., Renovell, M., Kasprowicz, D., Sekanina, L. and Bernard, S. (Eds.), 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. (pp. 306-309). IEEE. ISBN 978-1-4799-4560-3