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 : 14th International Conference, ICGT 2021, Held As Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings
Seite(n)/Artikel-Nr.: 283-293
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.1007/978-3-030-78946-6_15
- RWTH PUBLICATIONS: RWTH-2021-05804