A static analysis technique for graph transformation systems (2001)

by P Baldan, A Corradini, B Konig
Venue:In Proc. of CONCUR 2001