Cite Them Right 11th edition - Harvard

Salmani Barzoki, B. und Katoen, J.-P. (2020) Bayesian Inference by Symbolic Model Checking [cd]. Aachen: Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2021-02248.

Chicago Manual of Style 17th edition (full note)

Salmani Barzoki, Bahare, und Joost-Pieter Katoen. Bayesian Inference by Symbolic Model Checking. Cd. Aachen: Universitätsbibliothek der RWTH Aachen, [2020?], Aachen: Universitätsbibliothek der RWTH Aachen, [2020?]. https://doi.org/10.18154/RWTH-2021-02248.

American Psychological Association 7th edition

Salmani Barzoki, B., & Katoen, J.-P. (ca. 2020). Bayesian Inference by Symbolic Model Checking [Cd]. Universitätsbibliothek der RWTH Aachen. https://doi.org/10.18154/RWTH-2021-02248

Modern Language Association 9th edition

Salmani Barzoki, B., und J.-P. Katoen. Bayesian Inference by Symbolic Model Checking. cd, Universitätsbibliothek der RWTH Aachen, 2020, https://doi.org/10.18154/RWTH-2021-02248.

ISO-690 (author-date, Deutsch)

SALMANI BARZOKI, Bahare und Joost-Pieter KATOEN, 2020. Bayesian Inference by Symbolic Model Checking. Aachen: Universitätsbibliothek der RWTH Aachen

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