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]
@inproceedings{WakrimeBKG19,
title = {A SAT-Based Formal Approach for Verifying Business Process Configuration},
author = {Abderrahim Ait Wakrime and Souha Boubaker and Slim Kallel and Walid Gaaloul},
year = {2019},
doi = {10.1007/978-3-030-27355-2_4},
url = {https://doi.org/10.1007/978-3-030-27355-2_4},
researchr = {https://researchr.org/publication/WakrimeBKG19},
cites = {0},
citedby = {0},
pages = {47-62},
booktitle = {Big Data Innovations and Applications - 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings},
editor = {Muhammad Younas 0001 and Irfan Awan and Salima Benbernou},
volume = {1054},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-27355-2},
}