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]

Authors

Saoussen Cheikhrouhou

This author has not been identified. Look up 'Saoussen Cheikhrouhou' in Google

Slim Kallel

This author has not been identified. Look up 'Slim Kallel' in Google

Mohamed Jmaiel

This author has not been identified. Look up 'Mohamed Jmaiel' in Google