Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Farzan, A., Klumpp, D., & Podelski, A. [ca. 2023]. Stratified commutativity in verification algorithms for concurrent programs [Cd]. Freiburg: Universität. https://doi.org/10.1145/3571242

ISO-690 (author-date, English)

FARZAN, Azadeh, KLUMPP, Dominik und PODELSKI, Andreas, 2023. Stratified commutativity in verification algorithms for concurrent programs. Freiburg: Universität.

Modern Language Association 9th edition

Farzan, A., D. Klumpp, und A. Podelski. Stratified commutativity in verification algorithms for concurrent programs. cd, Universität, 2023, https://doi.org/10.1145/3571242.

Mohr Siebeck - Recht (Deutsch - Österreich)

Farzan, Azadeh/Klumpp, Dominik/Podelski, Andreas: Stratified commutativity in verification algorithms for concurrent programs, Freiburg 2023.

Emerald - Harvard

Farzan, A., Klumpp, D. und Podelski, A. (2023), Stratified commutativity in verification algorithms for concurrent programs, Bd. , Universität, Freiburg, verfügbar unter:https://doi.org/10.1145/3571242.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.