Modeling and Reasoning with Multirelations, and their encoding in Alloy

TitleModeling and Reasoning with Multirelations, and their encoding in Alloy
Publication TypeConference Paper
Year of Publication2016
AuthorsSun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki
Conference Name16th International Workshop in OCL and Textual Modeling
Date Published10/2016
Notes

http://oclworkshop.github.io/2016/

URLhttp://oclworkshop.github.io/2016/papers/OCL16_paper_10.pdf
Refereed DesignationRefereed