TY - RPRT TI - Formal Analysis of Continuous-time Systems using Fourier Transform AU - Adnan Rashid AU - Osman Hasan PY - 2017 UR - https://arxiv.org/abs/1707.09941 ID - 1707.09941 ER -