Formal Methods for Discrete-Time Dynamical Systems


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