ISO-690 (author-date, English)

FRIEDBERGER, Karlheinz und BEYER, Dirk, 2021. Efficient software model checking with block-abstraction memoization. München: Universitätsbibliothek der Ludwig-Maximilians-Universität.

Elsevier - Harvard (with titles)

Friedberger, K., Beyer, D., 2021. Efficient software model checking with block-abstraction memoization. Universitätsbibliothek der Ludwig-Maximilians-Universität, München. https://doi.org/10.5282/edoc.29976

American Psychological Association 7th edition

Friedberger, K., & Beyer, D. (ca. 2021). Efficient software model checking with block-abstraction memoization [Universitätsbibliothek der Ludwig-Maximilians-Universität; Cd]. https://doi.org/10.5282/edoc.29976

Springer - Basic (author-date)

Friedberger K, Beyer D (2021) Efficient software model checking with block-abstraction memoization. Universitätsbibliothek der Ludwig-Maximilians-Universität

Juristische Zitierweise (Stüber) (Deutsch)

Friedberger, Karlheinz/ Beyer, Dirk, Efficient software model checking with block-abstraction memoization, München 2021.

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