Rolf Drechsler, Martin Sauerhoff, Detlef Sieling. The complexity of the inclusion operation on OFDD s. IEEE Trans. on CAD of Integrated Circuits and Systems, 17(5):457-459, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.