TY - JOUR A1 - Hennicker, Rolf A1 - Knapp, Alexander A1 - Wirsing, Martin T1 - Assembly theories for communication-safe component systems T2 - Lecture Notes in Computer Science Y1 - 2014 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44301 UR - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-443015 SN - 9783642548475 SN - 9783642548482 SN - 0302-9743 SN - 1611-3349 VL - 8415 SP - 145 EP - 160 PB - Springer CY - Berlin ER -