A Partitioning Methodology for BDD-Based Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson. A Partitioning Methodology for BDD-Based Verification. In Alan J. Hu, Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Volume 3312 of Lecture Notes in Computer Science, pages 399-413, Springer, 2004. [doi]

This author has not been identified. Look up 'Debashis Sahoo' in GoogleThis author has not been identified. Look up 'Subramanian K. Iyer' in GoogleThis author has not been identified. Look up 'Jawahar Jain' in GoogleThis author has not been identified. Look up 'Christian Stangier' in GoogleThis author has not been identified. Look up 'Amit Narayan' in GoogleThis author has not been identified. Look up 'David L. Dill' in GoogleThis author has not been identified. Look up 'E. Allen Emerson' in Google

runs on WebDSL