Symbolic Coloured SCC Decomposition.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek

Browse the full TACAS paper archive.