Towards Extending the Validation Possibilities of ADOxx with Alloy

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. [doi]

Authors

Sybren de Kinderen

This author has not been identified. Look up 'Sybren de Kinderen' in Google

Qin Ma 0002

This author has not been identified. Look up 'Qin Ma 0002' in Google

Monika Kaczmarek-Heß

This author has not been identified. Look up 'Monika Kaczmarek-Heß' in Google