Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.

Gabriele Taentzer, Arend Rensink

Browse the full FASE paper archive.