Toward a Verification of Time-Centric Business Process Models

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel. Toward a Verification of Time-Centric Business Process Models. In Sumitra Reddy, editor, 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014. pages 326-331, IEEE, 2014. [doi]

@inproceedings{CheikhrouhouKJ14,
  title = {Toward a Verification of Time-Centric Business Process Models},
  author = {Saoussen Cheikhrouhou and Slim Kallel and Mohamed Jmaiel},
  year = {2014},
  doi = {10.1109/WETICE.2014.75},
  url = {http://dx.doi.org/10.1109/WETICE.2014.75},
  researchr = {https://researchr.org/publication/CheikhrouhouKJ14},
  cites = {0},
  citedby = {0},
  pages = {326-331},
  booktitle = {2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014},
  editor = {Sumitra Reddy},
  publisher = {IEEE},
}