TY  - JOUR
A1  - Reddy, S. M.
A1  - Kunz, Wolfgang
A1  - Pradhan, D. K.
T1  - Novel verification framework combining structural and OBDD methods in a synthesis environment
Y1  - 1995
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/26813
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
ER  -