stopping time jet 1

[hdrcouchot.git] / modelchecking.tex

diff --git a/modelchecking.tex b/modelchecking.tex
index 6f968bbc292d48a37a491762ff62e7b812fed92b..0ee325e983bd57dad526773921887ad7f1eca8a2 100644 (file)
--- 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}
     \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.}
     }
   \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 
   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.