American Psychological Association 6th edition

Konnov, I., Lazić, M., Veith, H., & Widder, J. (2017). Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal Methods in System Design: An International Journal, 1-38. https://doi.org/10.1007/s10703-017-0297-4

ISO-690 (author-date, English)

KONNOV, Igor, LAZIĆ, Marijana, VEITH, Helmut und WIDDER, Josef, 2017. Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal Methods in System Design: An International Journal. 20 September 2017. P. 1-38. DOI 10.1007/s10703-017-0297-4.

Modern Language Association 9th edition

Konnov, I., M. Lazić, H. Veith, und J. Widder. „Para 2 : Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms“. Formal Methods in System Design: An International Journal, September 2017, S. 1-38, https://doi.org/10.1007/s10703-017-0297-4.

Mohr Siebeck - Recht (Deutsch - Österreich)

Konnov, Igor/Lazić, Marijana/Veith, Helmut/Widder, Josef: Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms, Formal Methods in System Design: An International Journal 2017, 1-38.

Emerald - Harvard

Konnov, I., Lazić, M., Veith, H. und Widder, J. (2017), „Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms“, Formal Methods in System Design: An International Journal, S. 1-38.

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