A Divide and Conquer Approach to Model Checking of Liveness Properties.

Kazuhiro Ogata, Min Zhang

Browse the full COMPSAC paper archive.