Hatcliff, J. und Zucca, E. (Hrsg.) (2010) „Formal Techniques for Distributed Systems : Joint 12 th IFIP WG 6.1 International Conference, FMOODS 2010 and 30 th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings“, Programming and Software Engineering. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-13464-7.
Chicago Manual of Style 17th edition (full note)Hatcliff, John, und Elena Zucca, Hrsg. „Formal Techniques for Distributed Systems : Joint 12 th IFIP WG 6.1 International Conference, FMOODS 2010 and 30 th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?]. https://doi.org/10.1007/978-3-642-13464-7.
American Psychological Association 7th editionHatcliff, J., … Zucca, E. (Hrsg.). (ca. 2010). Formal Techniques for Distributed Systems : Joint 12 th IFIP WG 6.1 International Conference, FMOODS 2010 and 30 th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13464-7
Modern Language Association 9th editionHatcliff, J., und E. Zucca, Herausgeber. „Formal Techniques for Distributed Systems : Joint 12 th IFIP WG 6.1 International Conference, FMOODS 2010 and 30 th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings“. Programming and Software Engineering, 1 st ed. 2010, cd, Springer Berlin Heidelberg, 2010, https://doi.org/10.1007/978-3-642-13464-7.
ISO-690 (author-date, Deutsch)HATCLIFF, John und Elena ZUCCA (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642134647