On Computing the Transitive Closure of a State Transition Relation.

Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton

Browse the full DAC paper archive.