Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul. A SAT-Based Formal Approach for Verifying Business Process Configuration. In Muhammad Younas 0001, Irfan Awan, Salima Benbernou, editors, Big Data Innovations and Applications - 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings. Volume 1054 of Communications in Computer and Information Science, pages 47-62, Springer, 2019. [doi]
Abstract is missing.