Fast Symbolic Computation of Bottom SCCs.

Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jrgensen, Jaco van de Pol, Andreas Pavlogiannis

Browse the full TACAS paper archive.