Formal methods for discrete-time dynamical systems. ([2017]) - Belta, Calin; Yordanov, Boyan; Gol, Ebru Aydin
No abstract available