Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction.

Peter Backes, Jan Reineke

Browse the full VMCAI paper archive.