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.

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