TY  - RPRT
TI  - Required Behavior of Sequence Diagrams: Semantics and Conformance
AU  - Lunjin Lu
AU  - Dae-kyoo Kim
PY  - 2011
UR  - https://arxiv.org/abs/1003.1160
ID  - 1003.1160
ER  -