TY - RPRT A1 - Busse, Susanne T1 - A specification language for model correspondance assertions. 1. Overlap correspondences Y1 - 2016 UR - https://opus4.kobv.de/opus4-fhbrb/frontdoor/index/index/docId/1577 UR - http://informatik.th-brandenburg.de/~busse/publications/1999/BKLW99.pdf PB - Techn. Univ., Berlin, Fachbereich 13, Informatik CY - Berlin ER -