It is related to similar representations such as binary decision diagrams. Compared to other functional representations with regard to symbolic formal verification approaches, IDDs show some important ...

Get article recommendations from ACS based on references in your Mendeley library. Pair your accounts. Export articles to Mendeley Get article recommendations from ACS based on references in your ...

WuXi AppTec (Shanghai) Co. Ltd., Building 1, 288 Fute Zhong Road, Waigaoqiao Pilot Free Trade Zone, Shanghai 200131, P.R. China ...