Items where Author is "Sekanina, L."
Up a level |
Group by: Type | No Grouping
Number of items: 1.
Book Section
Ul Asad, H., Jones, K. & Surre, F. (2014). Verifying Robust Frequency Domain Properties of Non Linear Oscillators using SMT. In: Pleskacz, W., Renovell, M., Kasprowicz, D. , Sekanina, L. & Bernard, S. (Eds.), 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. (pp. 306-309). IEEE. doi: 10.1109/DDECS.2014.6868816