Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages.

Peter Bunus, Peter Fritzson

Browse the full SCAM paper archive.