Changeset 92 for papers/FDL2012/FDL2012.tex

Timestamp:

Apr 6, 2012, 10:37:41 PM (12 years ago)

Author:

syed

Message:

/papers/FDL2012/

File:

• papers/FDL2012/FDL2012.tex (modified) (2 diffs)

papers/FDL2012/FDL2012.tex

@@ -34 +34 @@
 
  \title{ An efficient refinement strategy exploiting components' properties in a CEGAR process}
-% \name{Syed Hussein S. ALWI, Emmanuelle ENCRENAZ and C\'{e}cile BRAUNSTEIN}
+% \name{Syed Hussein S. ALWI, C\'{e}cile BRAUNSTEIN and Emmanuelle ENCRENAZ}
 % \thanks{This work was supported by...}}
 % \address{Universit\'{e} Pierre et Marie Curie Paris 6, \\
@@ -106 +106 @@
 Kroening \cite{pwk2009-date} could help us in this direction.
 
-
+%footnote for Table 1
+\footnotetext[1]{Computed on a calculation server.}
 
 %\begin{thebibliography}