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

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.
   
 
 
