ISO-690 (author-date, English)

LANGE, Tim Felix, KATOEN, Joost-Pieter, WEISSENBACHER, Georg und NEUHÄUSSER, Martin R., 2018. IC3 software model checking. Aachen: Universitätsbibliothek der RWTH Aachen.

Elsevier - Harvard (with titles)

Lange, T.F., Katoen, J.-P., Weissenbacher, G., Neuhäußer, M.R., 2018. IC3 software model checking. Universitätsbibliothek der RWTH Aachen, Aachen. https://doi.org/10.18154/RWTH-2019-01994

American Psychological Association 7th edition

Lange, T. F., Katoen, J.-P., Weissenbacher, G., & Neuhäußer, M. R. (ca. 2018). IC3 software model checking [Universitätsbibliothek der RWTH Aachen; Cd]. https://doi.org/10.18154/RWTH-2019-01994

Springer - Basic (author-date)

Lange TF, Katoen J-P, Weissenbacher G, Neuhäußer MR (2018) IC3 software model checking. Universitätsbibliothek der RWTH Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Lange, Tim Felix/ Katoen, Joost-Pieter/ Weissenbacher, Georg/ Neuhäußer, Martin R., IC3 software model checking, Aachen 2018.

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