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)
Contribution to a book, Contribution to a conference proceedings

In: Graph Transformation
Page(s)/Article-Nr.: 283-293

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]

Identifier