Computing Bottom SCCs Symbolically Using Transition Guided Reduction.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek

Browse the full CAV paper archive.