Bernardo, M. (2013). Formal methods for dynamical systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013, advanced lectures. Springer Berlin Heidelberg.
Chicago-tyylinen lähdeviittausBernardo, Marco. Formal Methods for Dynamical Systems 13th International School On Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013, Advanced Lectures. Springer Berlin Heidelberg, 2013.
MLA-viiteBernardo, Marco. Formal Methods for Dynamical Systems 13th International School On Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013, Advanced Lectures. Springer Berlin Heidelberg, 2013.