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

HECKING-HARBUSCH, Jesko und FINKBEINER, Bernd, 2021. Synthesis of asynchronous distributed systems from global specifications. Saarbrücken: Saarländische Universitäts- und Landesbibliothek.

Elsevier - Harvard (with titles)

Hecking-Harbusch, J., Finkbeiner, B., 2021. Synthesis of asynchronous distributed systems from global specifications. Saarländische Universitäts- und Landesbibliothek, Saarbrücken. https://doi.org/10.22028/D291-35149

American Psychological Association 7th edition

Hecking-Harbusch, J., & Finkbeiner, B. (ca. 2021). Synthesis of asynchronous distributed systems from global specifications [Saarländische Universitäts- und Landesbibliothek; Cd]. https://doi.org/10.22028/D291-35149

Springer - Basic (author-date)

Hecking-Harbusch J, Finkbeiner B (2021) Synthesis of asynchronous distributed systems from global specifications. Saarländische Universitäts- und Landesbibliothek

Juristische Zitierweise (Stüber) (Deutsch)

Hecking-Harbusch, Jesko/ Finkbeiner, Bernd, Synthesis of asynchronous distributed systems from global specifications, Saarbrücken 2021.

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