Towards Extending the Validation Possibilities of ADOxx with Alloy

Sybren De Kinderen and Qin Ma and Monika Kaczmarek-Heß

Links

Cite as

Sybren De Kinderen, Qin Ma, Monika Kaczmarek-Heß: Towards Extending the Validation Possibilities of ADOxx with Alloy. In: Grabis, Jānis; Bork, Dominik (Ed.): The Practice of Enterprise Modeling, vol. 400, pp. 138–152, Springer International Publishing, Cham, 2020, ISBN: 9783030634780 9783030634797.

BibTeX (Download)

@incollection{grabis_towards_2020,
title = {Towards Extending the Validation Possibilities of ADOxx with Alloy},
author = {Sybren De Kinderen and Qin Ma and Monika Kaczmarek-Heß},
editor = {Jānis Grabis and Dominik Bork},
url = {http://link.springer.com/10.1007/978-3-030-63479-7_10},
doi = {10.1007/978-3-030-63479-7_10},
isbn = {9783030634780 9783030634797},
year  = {2020},
date = {2020-01-01},
urldate = {2023-02-23},
booktitle = {The Practice of Enterprise Modeling},
volume = {400},
pages = {138–152},
publisher = {Springer International Publishing},
address = {Cham},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}