h1
h2
h3
h4
h5
h6
RWTH Publications
English
Deutsch
guest ::
login
Search
Submit
Personalize
Your alerts
Your baskets
Your searches
Your personal authority Record
Help
Information
References
Discussion
Files
Formal software engineering of distributed systems using focus-streams and automata
- RWTH-2025-10702
Main document
file(s):
1023731
version 1
1023731.pdf
[1.62 MB]
23 Dec 2025, 11:19
OpenAccess
Source
file(s):
Restricted
1023731_sources
version 1
1023731_sources.zip
[7.31 MB]
16 Dec 2025, 21:57
Restricted
Similar records
RWTH
RWTH Aachen - Startseite
Universitätsbibliothek
Kontakt
Redaktion
Publizieren
Administration
RWTH Publications
Policy
Tutorials
Leitfaden
Allgemeines
Impressum
Disclaimer