3 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
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…