ALDINI, Alessandro, BERNARDO, Marco, DI PIERRO, Alessandra und WIKLICKY, Herbert (Hrsg.). [cd]. 2010. 1 st edition 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642136788.
Elsevier - Harvard (with titles)Aldini, A., Bernardo, M., Di Pierro, A., Wiklicky, H. (Hrsg.), 2010. Formal Methods for Quantitative Aspects of Programming Languages : 10 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-13678-8
American Psychological Association 7th editionAldini, A., Bernardo, M., Di Pierro, A., … Wiklicky, H. (Hrsg.). (ca. 2010). Formal Methods for Quantitative Aspects of Programming Languages : 10 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures [Cd]. In Programming and Software Engineering (1 st edition 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13678-8
Springer - Basic (author-date)Aldini A, Bernardo M, Di Pierro A, Wiklicky H (Hrsg.) (2010) Formal Methods for Quantitative Aspects of Programming Languages : 10 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Aldini, Alessandro/ Bernardo, Marco/ Di Pierro, Alessandra/ Wiklicky, Herbert (Hrsg.), Formal Methods for Quantitative Aspects of Programming Languages : 10 th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures, Programming and Software Engineering 2010, .