Changeset 57 for papers/FDL2012/abstraction_refinement.tex

Timestamp:

Mar 9, 2012, 3:31:35 PM (13 years ago)

Author:

cecile

Message:

biblio et utf8

File:

• papers/FDL2012/abstraction_refinement.tex (modified) (1 diff)

papers/FDL2012/abstraction_refinement.tex

@@ -47 +47 @@
 \item  $\sigma$ is not a path of the concrete system $M$: $\exists k$ such
 that $(s_{k}, s_{k+1}) \not\in R$.
+\end{itemize}
 \end{definition}