Formal Methods for Discrete-Time Dynamical Systems

MLA

Belta, Calin(, Ebru Aydin Gol, and Boyan Yordanov. Formal Methods for Discrete-time Dynamical Systems. Springer International Publishing, 2017.

APA

Belta, C., Aydin Gol, E., & Yordanov, B. (2017). Formal Methods for Discrete-Time Dynamical Systems. Springer International Publishing.

Chicago

Belta, Calin(, Ebru Aydin Gol, and Boyan Yordanov. Formal Methods for Discrete-Time Dynamical Systems. : Springer International Publishing, 2017.