Factored Edge-Valued Binary Decision Diagrams-猫眼课题宝

因式边缘值二元决策图

DOI：

10.1023/a:1008691605584

发表时间：

1997

期刊：

Formal Methods Syst. Des.

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

P. Tafertshofer;Massoud Pedram