(1)
Blume, C.; Bruggink, S.; König, B. Recognizable Graph Languages for Checking Invariants.
ECEASST
2010
,
29
.