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]
Abstract is missing.