Belta, C. Et Al. 2017. Formal Methods for Discrete-Time Dynamical Systems . Springer, London/Berlin , Chur.

Belta, C., Yordanov, B., & Aydın Göl, E., (2017). Formal Methods for Discrete-Time Dynamical Systems . Chur: Springer, London/Berlin .

Belta, Calin, Boyan Yordanov, And EBRU AYDIN GÖL. Formal Methods for Discrete-Time Dynamical Systems . Chur: Springer, London/Berlin , 2017

Belta, Calin Et Al. Formal Methods for Discrete-Time Dynamical Systems . Springer, London/Berlin , 2017.

Belta, C. Yordanov, B. And Aydın Göl, E. (2017) Formal Methods for Discrete-Time Dynamical Systems . 1st edn. Chur: Springer, London/Berlin .

@book{book, author={Calin Belta Et Al. }, title={Formal Methods for Discrete-Time Dynamical Systems}, publisher={Springer, London/Berlin }, year={2017} }