Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis

Amit Goel, Randal E. Bryant. Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. In 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany. pages 10816-10821, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.