Modélisation et vérification
Exercice 5.5 Montrer que le problème du coloriage d'un graphe avec un nombre de ... Vérification de logiciels : Techniques et Outils du model-checking, 1999.
Exercice 5.5 Montrer que le problème du coloriage d'un graphe avec un nombre de ... Vérification de logiciels : Techniques et Outils du model-checking, 1999.