# Formal Analysis of Discrete-Time Systems using z-Transform

Type
Publication
Journal of Applied Logic