Changeset 84

Timestamp:

Apr 6, 2012, 10:50:56 AM (13 years ago)

Author:

syed

Message:

/papers/FDL2012/

File:

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

papers/FDL2012/framework.tex

@@ -43 +43 @@
 %   \includegraphics[width=1.2\textwidth]{our_CEGAR_Loop_Enhanced_2S_PNG}
 %     \hspace*{-5mm}
-     \includegraphics{our_CEGAR_Loop_Enhanced_2S_PNG}
+     \includegraphics{our_framework_cegar_png}
    \caption{\label{cegar} Verification Process }
 \end{figure}