ISO-690 (author-date, English)

SPIESSL, Martin und BEYER, Dirk, 2024. Leveraging invariant information towards incremental Software Model Checking. München: Universitätsbibliothek der Ludwig-Maximilians-Universität.

Elsevier - Harvard (with titles)

Spiessl, M., Beyer, D., 2024. Leveraging invariant information towards incremental Software Model Checking. Universitätsbibliothek der Ludwig-Maximilians-Universität, München. https://doi.org/10.5282/edoc.35311

American Psychological Association 7th edition

Spiessl, M., & Beyer, D. (ca. 2024). Leveraging invariant information towards incremental Software Model Checking [Universitätsbibliothek der Ludwig-Maximilians-Universität; Cd]. https://doi.org/10.5282/edoc.35311

Springer - Basic (author-date)

Spiessl M, Beyer D (2024) Leveraging invariant information towards incremental Software Model Checking. Universitätsbibliothek der Ludwig-Maximilians-Universität

Juristische Zitierweise (Stüber) (Deutsch)

Spiessl, Martin/ Beyer, Dirk, Leveraging invariant information towards incremental Software Model Checking, München 2024.

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