Ignore:
Timestamp:
Mar 8, 2012, 2:00:31 PM (13 years ago)
Author:
cecile
Message:

add defintions concrete, and modify refinement, cex defintion

File:
1 edited

Legend:

Unmodified
Added
Removed

  • papers/FDL2012/FDL2012.tex

    r54 r56  
    6565
    6666\input{framework}
    67 \section{Abstraction Generation and Refinement}
     67\section{Refinement}
    6868
    6969\input{abstraction_refinement}
Note: See TracChangeset for help on using the changeset viewer.