Publications



by Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
Reference:
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul, A SAT-Based Formal Approach for Verifying Business Process Configuration, In Big Data Innovations and Applications - 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings (Muhammad Younas, Irfan Awan, Salima Benbernou, eds.), Springer, volume 1054, 2019.
Bibtex Entry:
@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},
}