(1)
Padberg, J.; Blumreiter, M. Non-Deterministic Matching Algorithm for Net Transformations.
ECEASST
2014
,
68
.