[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - A Succinct and Efficient Implementation of a 2^32 BDD Package

✍ Scribed by Lv, Guanfeng; Chen, Yao; Feng, Yachao; Chen, Qingliang; Su, Kaile

• Book ID: 126637741
• Publisher: IEEE
• Year: 2012
• Weight: 266 KB
• Category: Article
• ISBN: 1467323535
• DOI: 10.1109/TASE.2012.22