Exploring conflict reasons for graph transformation systems
Paper i proceeding, 2019
Static analysis
Conflict analysis
Graph transformation
Författare
Leen Lambers
Hasso-Plattner-Institut fur Softwaresystemtechnik GmbH
Jens Kosiol
Philipps-Universität Marburg
Daniel Strüber
Göteborgs universitet
Gabriele Taentzer
Philipps-Universität Marburg
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11629 LNCS 75-929783030236106 (ISBN)
Eindhoven, Netherlands,
Ämneskategorier
Språkteknologi (språkvetenskaplig databehandling)
Filosofi
Diskret matematik
DOI
10.1007/978-3-030-23611-3_5