75 citations · 111 across the 17 of their papers we have counts for
1 paper · 2 filters
Jens Kosiol, Daniel Strüber, Gabriele Taentzer +1
Where graphs are used for modelling and specifying systems, consistency is an important concern. To be a valid model of a system, the graph structure must satisfy a number of const…