Journal of Computing and Information Technology

Rachdi, Anass, Institut National des Postes et Télécommunication, Morocco

• Vol 24, No 2 (2016) - Regular Papers
  Liveness and Reachability Analysis of BPMN Process Models
  Abstract  PDF