Automated Generation of Consistent Graph Models With Multiplicity Reasoning

Kristóf Marussy, Oszkár Semeráth, Dániel Varró. Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Software Eng., 48(5):1610-1629, 2022. [doi]

Abstract

Abstract is missing.