Janisch, Stephan (2010): Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik |
Vorschau |
PDF
Janisch_Stephan.pdf 2MB |
DOI: 10.5282/edoc.12075
Dokumententyp: | Dissertationen (Dissertation, LMU München) |
---|---|
Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik
500 Naturwissenschaften und Mathematik |
Fakultäten: | Fakultät für Mathematik, Informatik und Statistik |
Sprache der Hochschulschrift: | Englisch |
Datum der mündlichen Prüfung: | 27. Juli 2010 |
1. Berichterstatter:in: | Hennicker, Rolf |
MD5 Prüfsumme der PDF-Datei: | 943a3282aa6fc00b9bb6795736957046 |
Signatur der gedruckten Ausgabe: | 0001/UMC 18920 |
ID Code: | 12075 |
Eingestellt am: | 05. Oct. 2010 07:01 |
Letzte Änderungen: | 23. Oct. 2020 13:03 |
Nur für Administratoren und Editoren: Dokument bearbeiten