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

by B König, V Kozioura
Venue:In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3920 of LNCS