共 16 条
[3]
Miller D. M., 1993, Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic (Cat. No.93CH3228-4), P2, DOI 10.1109/ISMVL.1993.289589
[4]
Implementing a multiple-valued decision diagram package
[J].
1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS,
1998,
:52-57