Global consistency checking of distributed models with TReMer+.

Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik

Browse the full ICSE paper archive.