Belta, C. (2017). Formal methods for discrete-time dynamical systems. Springer. https://doi.org/10.1007/978-3-319-50763-7
Chicago Style (17th ed.) CitationBelta, Calin. Formal Methods for Discrete-time Dynamical Systems. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-50763-7.
MLA (9th ed.) CitationBelta, Calin. Formal Methods for Discrete-time Dynamical Systems. Springer, 2017. https://doi.org/10.1007/978-3-319-50763-7.
Warning: These citations may not always be 100% accurate.