master-thesis.lot

\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {table}{\numberline {5.1}{\ignorespaces The most important {\sc declare}\xspace constraints expressed as {\sc ltl}p$_f$\xspace formulas and \emph {reactive constraints}.\relax }}{75}{table.caption.24}
\contentsline {table}{\numberline {5.2}{\ignorespaces Representation of the separated automata set for $\Psi = a \DOTSB \mapstochar \rightarrow (\raisebox {-0.27ex}{$\ominus $}b \vee \Diamond c)$\relax }}{81}{table.caption.25}
\addvspace {10\p@ }