SpringerLink (Online service), Vink, E., Pierro, A., Wiklicky, H., & 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.
Style de citation Chicago (17e éd.)SpringerLink (Online service), Erik Vink, Alessandra Pierro, Herbert Wiklicky, et Marco Bernardo. 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Style de citation MLA (8e éd.)SpringerLink (Online service), et al. 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.