ISO-690 (author-date, English)

ESSMANN, ROBIN, NIPKOW, TOBIAS, ROBILLARD, SIMON und SULEJMANI, UJKAN, 2022. VERIFIED APPROXIMATION ALGORITHMS. Logical Methods in Computer Science (LMCS). 1 Januar 2022. Vol. 18, no. 1, p. 1-21. DOI 10.46298/LMCS-18(1:36)2022.

Elsevier - Harvard (with titles)

ESSMANN, R., NIPKOW, T., ROBILLARD, S., SULEJMANI, U., 2022. VERIFIED APPROXIMATION ALGORITHMS. Logical Methods in Computer Science (LMCS) 18, 1-21. https://doi.org/10.46298/LMCS-18(1:36)2022

American Psychological Association 7th edition

ESSMANN, R., NIPKOW, T., ROBILLARD, S., & SULEJMANI, U. (2022). VERIFIED APPROXIMATION ALGORITHMS. Logical Methods in Computer Science (LMCS), 18(1), 1-21. https://doi.org/10.46298/LMCS-18(1:36)2022

Springer - Basic (author-date)

ESSMANN R, NIPKOW T, ROBILLARD S, SULEJMANI U (2022) VERIFIED APPROXIMATION ALGORITHMS.. Logical Methods in Computer Science (LMCS) 18:1-21. https://doi.org/10.46298/LMCS-18(1:36)2022

Juristische Zitierweise (Stüber) (Deutsch)

ESSMANN, ROBIN/ NIPKOW, TOBIAS/ ROBILLARD, SIMON/ SULEJMANI, UJKAN, VERIFIED APPROXIMATION ALGORITHMS., Logical Methods in Computer Science (LMCS) 2022, 1-21.

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