ISO-690 (author-date, English)

GIESE, Holger und ROSU, Grigore (Hrsg.). [cd]. 2012. 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642307935.

Elsevier - Harvard (with titles)

Giese, H., Rosu, G. (Hrsg.), 2012. Formal Techniques for Distributed Systems : Joint 14 th IFIP WG 6.1 International Conference, FMOODS 2012 and 32 nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-30793-5

American Psychological Association 7th edition

Giese, H., … Rosu, G. (Hrsg.). (ca. 2012). Formal Techniques for Distributed Systems : Joint 14 th IFIP WG 6.1 International Conference, FMOODS 2012 and 32 nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2012). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-30793-5

Springer - Basic (author-date)

Giese H, Rosu G (Hrsg.) (2012) Formal Techniques for Distributed Systems : Joint 14 th IFIP WG 6.1 International Conference, FMOODS 2012 and 32 nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings. Programming and Software Engineering

Juristische Zitierweise (Stüber) (Deutsch)

Giese, Holger/ Rosu, Grigore (Hrsg.), Formal Techniques for Distributed Systems : Joint 14 th IFIP WG 6.1 International Conference, FMOODS 2012 and 32 nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings, Programming and Software Engineering 2012, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.