Changeset 61 for papers/FDL2012/framework.tex

Timestamp:

Mar 13, 2012, 11:56:46 AM (13 years ago)

Author:

cecile

Message:

typos

File:

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

papers/FDL2012/framework.tex

@@ -96 +96 @@
 
 \begin{definition}
-Give a CTL$\setminus$X property $\varphi$ whose set of atomic propositions is
-$\widehat{AP}$, An \emph{Abstract Kripke Structure}, \\ $AKS(\varphi) =(AP, \widehat{S}, \widehat{S}_0, \widehat{L}, \widehat{R}, \widehat{F})$ is a 6-tuple consisting of :
+Given a CTL$\setminus$X property $\varphi$ whose set of atomic propositions is
+$AP$, An \emph{Abstract Kripke Structure}, $AKS(\varphi) =(AP, \widehat{S}, \widehat{S}_0, \widehat{L}, \widehat{R}, \widehat{F})$ is a 6-tuple consisting of:
 
 \begin{itemize}