(1)
Ghamarian, A.; Jalali, A.; Rensink, A. Incremental Pattern Matching in Graph-Based State Space Exploration.
ECEASST
2011
,
32
.