Formal Methods for Discrete-Time Dynamical Systems

---

Copy For Citation

Belta C., Yordanov B., Aydın Göl E.

Springer, London/Berlin , Chur, 2017

• Publication Type: Book / Vocational Book
• Publication Date: 2017
• Publisher: Springer, London/Berlin 
• City: Chur
• Middle East Technical University Affiliated: Yes