A Truly Symbolic Linear-Time Algorithm for SCC Decomposition.

Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis

Browse the full TACAS paper archive.