| Janisch, Stephan (2010): Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics |
|
PDF
Janisch_Stephan.pdf 2MB |
| Item Type: | Thesis (Dissertation, LMU Munich) |
|---|---|
| Subjects: | 600 Natural sciences and mathematics > 510 Mathematics 600 Natural sciences and mathematics |
| Faculties: | Faculty of Mathematics, Computer Science and Statistics |
| Language: | English |
| Date Accepted: | 27. July 2010 |
| 1. Referee: | Hennicker, Rolf |
| Persistent Identifier (URN): | urn:nbn:de:bvb:19-120751 |
| MD5 Checksum of the PDF-file: | 943a3282aa6fc00b9bb6795736957046 |
| Signature of the printed copy: | 0001/UMC 18920 |
| ID Code: | 12075 |
| Deposited On: | 05. Oct 2010 07:01 |
| Last Modified: | 20. Jul 2016 10:26 |
Repository Staff Only: item control page