Changeset 91 for papers/FDL2012/FDL2012.tex

Timestamp:

Apr 6, 2012, 4:53:13 PM (13 years ago)

Author:

cecile

Message:

intro+ blind

File:

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

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, Emmanuelle ENCRENAZ and C\'{e}cile BRAUNSTEIN}
 % \thanks{This work was supported by...}}
- \address{Universit\'{e} Pierre et Marie Curie Paris 6, \\
-                 LIP6-SOC (CNRS UMR 7606), \\
-                            4, place Jussieu, \\
-                75005 Paris, FRANCE. }
+% \address{Universit\'{e} Pierre et Marie Curie Paris 6, \\
+%                 LIP6-SOC (CNRS UMR 7606), \\
+%                            4, place Jussieu, \\
+%                75005 Paris, FRANCE. }
+\name{Removed for blind review}
+\address{ }
 
 \begin{document}