Formal Methods for Discrete-Time Dynamical Systems

2017-01-01
Belta, Calin
Yordanov, Boyan
Aydın Göl, Ebru
Citation Formats
C. Belta, B. Yordanov, and E. Aydın Göl, Formal Methods for Discrete-Time Dynamical Systems. 2017.