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]
No references recorded for this publication.
No citations of this publication recorded.