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

Cached

Download Links

by Barbara König , Vitali Kozioura
Venue:IN: PROC. OF TACAS ’06
Citations:13 - 3 self