Efficient Detection of Vacuity in ACTL Formulaas.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Browse the full CAV paper archive.