A Logic for Analyzing Abstractions of Graph Transformation Systems (2003)

by P Baldan, B König, B König
Venue:In Cousot (ed.), Static Analysis Symposium (SAS). LNCS 2694