City Research Online

Items where Author is "Sekanina, L."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Jump to: Book Section
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

This list was generated on Mon Oct 17 06:31:28 2022 UTC.