Toward a Verification of Time-Centric Business Process Models.

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel

Browse the full WETICE paper archive.