Formal Analysis of Discrete-Time Systems using z-Transform

Publication
Journal of Applied Logic