Formal Methods for Dynamical Systems

MLA

Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert, et al. Formal Methods for Dynamical Systems. Springer Berlin Heidelberg, 2013.

APA

Bernardo, H., de Vink, E., Di Pierro, A., & Wiklicky, H. (2013). Formal Methods for Dynamical Systems. Springer Berlin Heidelberg.

Chicago

Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert, Erik de Vink, Alessandra Di Pierro, and Herbert Wiklicky. Formal Methods for Dynamical Systems. : Springer Berlin Heidelberg, 2013.