Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

DANGL, Matthias und BEYER, Dirk, 2022. Witness-based validation of verification results with applications to software-model checking. München: Universitätsbibliothek der Ludwig-Maximilians-Universität.

Elsevier - Harvard (with titles)

Dangl, M., Beyer, D., 2022. Witness-based validation of verification results with applications to software-model checking. Universitätsbibliothek der Ludwig-Maximilians-Universität, München. https://doi.org/10.5282/edoc.31508

American Psychological Association 7th edition

Dangl, M., & Beyer, D. (ca. 2022). Witness-based validation of verification results with applications to software-model checking [Universitätsbibliothek der Ludwig-Maximilians-Universität; Cd]. https://doi.org/10.5282/edoc.31508

Springer - Basic (author-date)

Dangl M, Beyer D (2022) Witness-based validation of verification results with applications to software-model checking. Universitätsbibliothek der Ludwig-Maximilians-Universität

Juristische Zitierweise (Stüber) (Deutsch)

Dangl, Matthias/ Beyer, Dirk, Witness-based validation of verification results with applications to software-model checking, München 2022.

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