X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/020defdbb2ac938563eba1071c78520973093e4b..1042ddb8d08dc129da9358b73e723fc5014fb2c8:/modelchecking.tex

diff --git a/modelchecking.tex b/modelchecking.tex
index 6f968bb..0ee325e 100644
--- a/modelchecking.tex
+++ b/modelchecking.tex
@@ -69,7 +69,7 @@ sont ensuite fournies (\Sec{sec:spin:practical}).
     \hfill
     \subfigure[Graphe d'intéraction]{
       \includegraphics[width=4cm]{images/xplCnxMc.eps}
-      \label{fig:xplgraph}
+      \label{fig:xplgraph:inter:mc}
     }
   \end{center}
   \caption{Exemple pour SDD $\approx$ SPIN.}
@@ -82,7 +82,7 @@ sont ensuite fournies (\Sec{sec:spin:practical}).
   Chaque configuration est ainsi un élement de $\Bool^3$, \textit{i.e.}, 
   un nombre entre 0 et 7. 
   La \Fig{fig:map} précise la fonction $f$ considérée et 
-  la \Fig{fig:xplgraph} donne son graphe d'intéraction.
+  la \Fig{fig:xplgraph:inter:mc} donne son graphe d'intéraction.