Counterexample-guided abstraction refinement for the analysis of graph transformation systems (2006)

by Barbara König, Vitali Kozioura
Venue:In Proc. TACAS ’06, 12th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems