ISO-690 (author-date, English)

BERGER, Philipp, KATOEN, Joost-Pieter und BEYER, Dirk, 2024. Applying software model checking: experiences and advancements. Aachen: Universitätsbibliothek der RWTH Aachen.

Elsevier - Harvard (with titles)

Berger, P., Katoen, J.-P., Beyer, D., 2024. Applying software model checking: experiences and advancements. Aachen. RWTH Aachen University, 2024. Universitätsbibliothek der RWTH Aachen, Aachen. https://doi.org/10.18154/RWTH-2024-10081

American Psychological Association 7th edition

Berger, P., Katoen, J.-P., & Beyer, D. (ca. 2024). Applying software model checking: experiences and advancements [Universitätsbibliothek der RWTH Aachen; Cd]. In Aachen. RWTH Aachen University, 2024. https://doi.org/10.18154/RWTH-2024-10081

Springer - Basic (author-date)

Berger P, Katoen J-P, Beyer D (2024) Applying software model checking: experiences and advancements. Universitätsbibliothek der RWTH Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Berger, Philipp/ Katoen, Joost-Pieter/ Beyer, Dirk, Applying software model checking: experiences and advancements, Aachen 2024.

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