KÜFNER, Philipp, NESTMANN, Uwe und KAMMÜLLER, Florian, 2014. Modeling and verification of distributed algorithms in theorem proving environments. Berlin: Technische Universität Berlin.
Elsevier - Harvard (with titles)Küfner, P., Nestmann, U., Kammüller, F., 2014. Modeling and verification of distributed algorithms in theorem proving environments. Technische Universität Berlin, Berlin. https://doi.org/urn:nbn:de:kobv:83-opus4-48191
American Psychological Association 7th editionKüfner, P., Nestmann, U., & Kammüller, F. (ca. 2014). Modeling and verification of distributed algorithms in theorem proving environments [Technische Universität Berlin; Cd]. https://doi.org/urn:nbn:de:kobv:83-opus4-48191
Springer - Basic (author-date)Küfner P, Nestmann U, Kammüller F (2014) Modeling and verification of distributed algorithms in theorem proving environments. Technische Universität Berlin
Juristische Zitierweise (Stüber) (Deutsch)Küfner, Philipp/ Nestmann, Uwe/ Kammüller, Florian, Modeling and verification of distributed algorithms in theorem proving environments, Berlin 2014.