*Result*: Formal software engineering of distributed systems using focus-streams and automata
*Title*:
Formal software engineering of distributed systems using focus-streams and automata / Sebastian Stüber ; Bernhard Rumpe, Radu Grosu
*Author/editor-in-chief*:
*Publication*:
Aachen : Universitätsbibliothek der RWTH Aachen, 2025
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*series_multipart*:
Düren. Shaker Verlag, 2025 (Aachener Informatik-Berichte, Software Engineering; 63)
*Dissertation note*:
Dissertation, RWTH Aachen University, 2025
*Subject Added Keywords*:
*DOI*:
10.18154/RWTH-2025-10702