Minimal Coverability Tree Construction Made Complete and Efficient.

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Browse the full FOSSACS paper archive.