@PHDTHESIS{Sbaï2010,
url = "http://www.theses.fr/2010CNAM0731",
title = "Contribution à la modélisation et à la vérification de processus workflow",
author = "Sbaï, Zohra",
year = "2010",
note = "Thèse de doctorat dirigée par Barkaoui, Kamel Informatique Paris, CNAM 2010",
note = "Thèse de doctorat Informatique École nationale d'ingénieurs de Tunis (Tunisie) 2010",
note = "2010CNAM0731",
url = "http://www.theses.fr/2010CNAM0731/document",
}