Divide and Compose: SCC Refinement for Language Emptiness.

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi

Browse the full CONCUR paper archive.