Adnan Rashid, Osman Hasan. Formal analysis of continuous-time systems using Fourier transform. Journal of Symbolic Computation, 90:65-88, 2019. [doi]
@article{RashidH19,
title = {Formal analysis of continuous-time systems using Fourier transform},
author = {Adnan Rashid and Osman Hasan},
year = {2019},
doi = {10.1016/j.jsc.2018.04.004},
url = {https://doi.org/10.1016/j.jsc.2018.04.004},
researchr = {https://researchr.org/publication/RashidH19},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {90},
pages = {65-88},
}