A Decision Diagram Operation for Reachability.

Sebastiaan Brand, Thomas Bck, Alfons Laarman

Browse the full FM paper archive.