Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christoph Meinel, Christian Stangier. Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. In 1999 Design, Automation and Test in Europe (DATE 99), 9-12 March 1999, Munich, Germany. pages 760-761, IEEE Computer Society, 1999. [doi]

This author has not been identified. Look up 'Christoph Meinel' in GoogleThis author has not been identified. Look up 'Christian Stangier' in Google

runs on WebDSL