Specifying overlaps of heterogeneous models for global consistency checking.

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

Browse the full MODELS paper archive.