Sybren de Kinderen, Qin Ma 0002, Monika Kaczmarek-Heß. Towards Extending the Validation Possibilities of ADOxx with Alloy. In Janis Grabis, Dominik Bork, editors, The Practice of Enterprise Modeling - 13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25-27, 2020, Proceedings. Volume 400 of Lecture Notes in Business Information Processing, pages 138-152, Springer, 2020.
Abstract is missing.