Tatiana Barboza, Flávia Maria Santoro, Fernanda Araujo Baião. Automatic Validation of Knowledge-intensive Process Models through Alloy. In Proceedings of the XIV Brazilian Symposium on Information Systems, SBSI 2018, Caxias do Sul, Brazil, June 04-08, 2018. ACM, 2018. [doi]
Abstract is missing.