Merkliste 
 1 Ergebnisse 
 
1

Computing k-Bisimulations for Large Graphs: A Comparison an..:

, In: Graph Transformation; Lecture Notes in Computer Science,
Rau, Jannik ; Richerby, David ; Scherp, Ansgar - p. 223-242 , 2023