TY  - GEN
AU  - Belta, Calin 
AU  - Yordanov, Boyan 
AU  - Gol, Ebru Aydin
TI  - Formal methods for discrete-time dynamical systems
T2  - Studies in systems, decision and control, 89
SN  - 9783319507620
U1  - 620.104 
PY  - 2017///
CY  - New york
PB  - Springer-Verlag
ER  -