| 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 |
|
PDF
Janisch_Stephan.pdf 2MB |
| Dokumententyp: | Dissertation (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 Dissertation: | Englisch |
| Datum der mündlichen Prüfung: | 27. Juli 2010 |
| 1. Berichterstatter/in: | Hennicker, Rolf |
| URN des Dokumentes: | urn:nbn:de:bvb:19-120751 |
| MD5 Prüfsumme der PDF-Datei: | 943a3282aa6fc00b9bb6795736957046 |
| Signatur der gedruckten Ausgabe: | 0001/UMC 18920 |
| ID Code: | 12075 |
| Eingestellt am: | 05. Okt. 2010 07:01 |
| Letzte Änderungen: | 20. Jul. 2016 10:26 |
Nur für Administratoren und Editoren: Dokument bearbeiten