CacBDD: A BDD Package with Dynamic Cache Management - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guanfeng Lv, Kaile Su, Yanyan Xu. CacBDD: A BDD Package with Dynamic Cache Management. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 229-234, Springer, 2013. [doi]

This author has not been identified. Look up 'Guanfeng Lv' in GoogleThis author has not been identified. Look up 'Kaile Su' in GoogleThis author has not been identified. Look up 'Yanyan Xu' in Google

runs on WebDSL