@inproceedings{AWBKG19,
  author    = {Abderrahim Ait Wakrime and
               Souha Boubaker and
               Slim Kallel and
               Walid Gaaloul},
  editor    = {Muhammad Younas and
               Irfan Awan and
               Salima Benbernou},
  title     = {A SAT-Based Formal Approach for Verifying Business Process Configuration},
  booktitle = {Big Data Innovations and Applications - 5th International Conference,
               Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {1054},
  pages     = {47--62},
  publisher = {Springer},
  year      = {2019},
  doi       = {10.1007/978-3-030-27355-2\_4},
}