Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

Browse the full MODELS paper archive.