Massimiliano de Leoni, Paolo Felli, Marco Montali. A Holistic Approach for Soundness Verification of Decision-Aware Process Models. In Juan Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li 0001, Mong-Li Lee, editors, Conceptual Modeling - 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings. Volume 11157 of Lecture Notes in Computer Science, pages 219-235, Springer, 2018. [doi]
Abstract is missing.