@phdthesis{hal-5761,
  title = {Contribution à la modélisation et à la vérification de processus workflow},
  author = {Zohra Sbaï},
  year = {2010},
  url = {https://tel.archives-ouvertes.fr/tel-00553383},
  researchr = {https://researchr.org/publication/hal-5761},
  cites = {0},
  citedby = {0},
  school = {Tunis University, Tunisia},
}