Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
ISO-690 (author-date, English)

LOMMEN, Nils, MEYER, Éléanore und GIESL, Jürgen, 2024. Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in Ko AT (Short Paper). Aachen: Universitätsbibliothek der RWTH Aachen.

Elsevier - Harvard (with titles)

Lommen, N., Meyer, Éléanore, Giesl, J., 2024. Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in Ko AT (Short Paper). Universitätsbibliothek der RWTH Aachen, Aachen. https://doi.org/10.18154/RWTH-2024-08713

American Psychological Association 7th edition

Lommen, N., Meyer, Éléanore, & Giesl, J. (ca. 2024). Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in Ko AT (Short Paper) [Cd]. Universitätsbibliothek der RWTH Aachen. https://doi.org/10.18154/RWTH-2024-08713

Springer - Basic (author-date)

Lommen N, Meyer Éléanore, Giesl J (2024) Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in Ko AT (Short Paper). Universitätsbibliothek der RWTH Aachen, Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Lommen, Nils/ Meyer, Éléanore/ Giesl, Jürgen, Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in Ko AT (Short Paper), Aachen 2024.

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