TY  - DATA
AU  - Calin Belta
AU  - Rudra Dutta
TI  - Formal Methods for Discrete Time Dynamical Systems
T2  - Studies in Systems Decision and Control
SN  - 9783319507637
PB  - Springer
KW  - Control and Systems Theory
KW  - Engineering
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-50763-7
ER  -