A SAT-Based Formal Approach for Verifying Business Process Configuration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Abderrahim Ait Wakrime' in GoogleThis author has not been identified. Look up 'Souha Boubaker' in GoogleThis author has not been identified. Look up 'Slim Kallel' in GoogleThis author has not been identified. Look up 'Walid Gaaloul' in Google

runs on WebDSL