Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars

Fesefeldt, Ira Justus (Corresponding author); Matheja, Christoph; Noll, Thomas; Schulte, Johannes

Cham : Springer International Publishing (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Graph Transformation
Seite(n)/Artikel-Nr.: 283-293