ISO-690 (author-date, English)

STÜBER, Sebastian, RUMPE, Bernhard und GROSU, Radu, 2025. Formal software engineering of distributed systems using focus-streams and automata. Aachen: Universitätsbibliothek der RWTH Aachen.

Elsevier - Harvard (with titles)

Stüber, S., Rumpe, B., Grosu, R., 2025. Formal software engineering of distributed systems using focus-streams and automata. Düren. Shaker Verlag, 2025 (Aachener Informatik-Berichte, Software Engineering; 63). Universitätsbibliothek der RWTH Aachen, Aachen. https://doi.org/10.18154/RWTH-2025-10702

American Psychological Association 7th edition

Stüber, S., Rumpe, B., & Grosu, R. (ca. 2025). Formal software engineering of distributed systems using focus-streams and automata [Universitätsbibliothek der RWTH Aachen; Cd]. In Düren. Shaker Verlag, 2025 (Aachener Informatik-Berichte, Software Engineering; 63). https://doi.org/10.18154/RWTH-2025-10702

Springer - Basic (author-date)

Stüber S, Rumpe B, Grosu R (2025) Formal software engineering of distributed systems using focus-streams and automata. Universitätsbibliothek der RWTH Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Stüber, Sebastian/ Rumpe, Bernhard/ Grosu, Radu, Formal software engineering of distributed systems using focus-streams and automata, Aachen 2025.

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