TY - RPRT TI - Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness AU - Matthias Barkowsky AU - Holger Giese PY - 2022 UR - https://arxiv.org/abs/2205.04198 ID - 2205.04198 ER -