A Static Analysis Technique for Graph Transformation Systems (2001)

by Paolo Baldan , Andrea Corradini , Barbara König
Venue:In Proc. of CONCUR ’01
Citations:42 - 17 self