The Spurious Path Problem in Abstraction.

Gaojian Fan, Robert C. Holte

Browse the full SoCS paper archive.