@misc{indiciae0b6b73861a30,
  title = {Vérification Formelle des Processus Workflow Collaboratifs},
  author = {Zohra Sbaï and Kamel Barkaoui},
  year = {2013},
  url = {https://arxiv.org/abs/1306.4308},
  note = {Source identifier: 1306.4308}
}