Partition Refinement in Abstract Model Checking.

Fei Pu, Wenhui Zhang

Browse the full TASE paper archive.