@PHDTHESIS{Ouni2019,
url = "http://www.theses.fr/2019PA131092",
title = "Vérification parallèle de systémes concurrents en utilisant le Graphe d’Observation Symbolique",
author = "Ouni, Hiba",
year = "2019",
note = "Thèse de doctorat dirigée par Klai, Kais et Belhassen, Zouari Informatique Paris 13 2019",
note = "Thèse de doctorat Informatique Université de Tunis El Manar 2019",
note = "2019PA131092",
url = "http://www.theses.fr/2019PA131092/document",
}