On computing the transitive closure of a state transition relation

Author(s):  
Yusuke Matsunaga ◽  
Patrick C. McGeer ◽  
Robert K. Brayton
Sign in / Sign up

Export Citation Format

Share Document