Modélisation Et Vérification De Systèmes Informatiques : Model Checking, Méthode Sat Et Algorithme Dpll, Applications En Télécommunications

1 faculty research Modélisation Et Vérification De Systèmes Informatiques : Model Checking, Méthode Sat Et Algorithme Dpll, Applications En Télécommunications on GradNova.