5 citations · 19 across the 12 of their papers we have counts for
1 paper · 1 filter
Barbara König, Arend Rensink, Lara Stoltenow +1
This paper addresses the following verification task: Given a graph transformation system and a class of initial graphs, can we guarantee (non-)reachability of a given other class…