Ignore:
Timestamp:
Apr 5, 2012, 1:59:16 PM (13 years ago)
Author:
syed
Message:

/papers/FDL2012/

File:
1 edited

Legend:

Unmodified
Added
Removed

  • papers/FDL2012/FDL2012.tex

    r80 r83  
    3333
    3434
    35  \title{ Compositional System Verification: Exploiting components' verified properties in the abstraction-refinement process}
     35 \title{ An efficient refinement strategy exploiting components' properties in a CEGAR process}
    3636 \name{Syed Hussein S. ALWI, Emmanuelle ENCRENAZ and C\'{e}cile BRAUNSTEIN}
    3737% \thanks{This work was supported by...}}
Note: See TracChangeset for help on using the changeset viewer.