Type of Publication: Article in Collected Edition

Towards Extending the Validation Possibilities of ADOxx with Alloy

Author(s):

De Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika

Editor:

Springer

Title of Anthology:

Proceedings of the 2020 Conference on the Practice of Enterprise Modeling

Publisher:

Springer

Publication Date:

2020

Citation:

Download BibTeX