"Calin Belta, Boyan Yordanov, Ebru Aydin Gol" <br/><br/>
Formal Methods for Discrete-Time Dynamical Systems 

 -  Springer  2017 
<br/><br/><label>ISBN: </label>978-3-319-50763-7 
<br/><br/><label>Subjects--Topical Terms: </label><br/>"Engineering; Control; Complexity; Systems Theory, Control"