Formal Methods for Discrete-Time Dynamical Systems /

Main Authors: Belta, Calin (Author)
Corporate Authors: SpringerLink (Online service)
Group Author: Yordanov, Boyan; Aydin Gol, Ebru
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.