TY - JOUR A1 - Knapp, Alexander T1 - A formal semantics for UML interactions T2 - Lecture Notes in Computer Science Y1 - 1999 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/45124 UR - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-451240 SN - 9783540667124 SN - 9783540468523 SN - 0302-9743 VL - 1723 SP - 116 EP - 130 PB - Springer CY - Berlin ER -