Using model checking to control the structural errors in BPMN models.

Oussama Mohammed Kherbouche, Adeel Ahmad, Henri Basson

Browse the full RCIS paper archive.