A Logic for Analyzing Abstractions of Graph Transformation Systems.

Paolo Baldan, Barbara Knig, Bernhard Knig

Browse the full SAS paper archive.