Binary Decision Diagrams with Edge-Specified Reductions.

Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner

Browse the full TACAS paper archive.