Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.

Erhan Leblebici, Anthony Anjorin, Andy Schrr

Browse the full FASE paper archive.