Publications

DBLP Google Scholar

by Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
Reference:
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes, In Proceedings of the 11th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2014.
Bibtex Entry:
@INPROCEEDINGS{CKGJSCC14,
 author = {Saoussen Cheikhrouhou and Slim Kallel and Nawal Guermouche
                  and Mohamed Jmaiel},
 title = {{Enhancing Formal Specification and Verification of Temporal
                  Constraints in Business Processes}},
 booktitle = {Proceedings of the 11th IEEE International Conference on
                  Services Computing (SCC)},
 month = {June},
 year = {2014},
 LOcation = {Anchorage, Alaska, USA},
 publisher = {IEEE Computer Society}
}