Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process.

Syed Hussein Syed Alwi, Ccile Braunstein, Emmanuelle Encrenaz

Browse the full FDL paper archive.