TY  - BOOK
AU  - Ebendt, Rॱdiger
AU  - Fey, G५rschwin
AU  - Drechsler, Rolf
TI  - Advanced BDD Optimization
T2  - Lecture notes in computer science
U1  - 620.101518 
CY  - Berlin
PB  - Springer
ER  -