Merkliste 
 1 Ergebnisse 
 
1

Efficient Checking of Timed Ordered Anti-patterns over Grap..:

, In: Model and Data Engineering; Lecture Notes in Computer Science,