TY  - CPAPER
AU  - SCHACHTE, P.
AU  - SONDERGAARD, H.
Y2  - 2014/05/21
Y1  - 2006
UR  - http://hdl.handle.net/11343/29432
LA  - eng
PB  - Springer Verlag
KW  - Computer Software
T1  - Closure Operators for ROBDDs
IS  - Verification, Model Checking, and Abstract Interpretation
VL  - 3855
IS  - 42370
L1  - /bitstream/handle/11343/29432/278140_56210.pdf?sequence=1&isAllowed=n
ER  -