Hiba Ouni. Vérification parallèle de systémes concurrents en utilisant le Graphe d'Observation Symbolique. (Parallel verification of concurrent systems using the Symbolic Observation Graph). PhD thesis, Paris 13 University, Villetaneuse, France, 2019. [doi]
Abstract is missing.