Publications

DBLP Google Scholar

by Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
Reference:
Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, Toward a Verification of Time-centric Business Process Models, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014.
Bibtex Entry:
@INPROCEEDINGS{CheikhrouhouWETICE2014,
 author = {Saoussen Cheikhrouhou and Slim Kallel and Mohamed Jmaiel},
 title = {Toward a Verification of Time-centric Business Process
                  Models},
 booktitle = {Proceedings of the the 23rd IEEE International
                  Conference on Collaboration Technologies and
                  Infrastructure (WETICE)},
 year = {2014},
 publisher = {IEEE Computer Society},
 keywords = {Formal}
}