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

GIESEKING, Manuel, OLDEROG, Ernst-Rüdiger und FINKBEINER, Bernd, 2022. Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis. Oldenburg: BIS der Universität Oldenburg.

Elsevier - Harvard (with titles)

Gieseking, M., Olderog, E.-R., Finkbeiner, B., 2022. Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis. BIS der Universität Oldenburg, Oldenburg. https://doi.org/urn:nbn:de:gbv:715-oops-57691

American Psychological Association 7th edition

Gieseking, M., Olderog, E.-R., & Finkbeiner, B. (ca. 2022). Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis [BIS der Universität Oldenburg; Cd]. https://doi.org/urn:nbn:de:gbv:715-oops-57691

Springer - Basic (author-date)

Gieseking M, Olderog E-R, Finkbeiner B (2022) Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis. BIS der Universität Oldenburg

Juristische Zitierweise (Stüber) (Deutsch)

Gieseking, Manuel/ Olderog, Ernst-Rüdiger/ Finkbeiner, Bernd, Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis, Oldenburg 2022.

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