TY  - RPRT
TI  - Vérification Formelle des Processus Workflow Collaboratifs
AU  - Zohra Sbaï
AU  - Kamel Barkaoui
PY  - 2013
UR  - https://arxiv.org/abs/1306.4308
ID  - 1306.4308
ER  -