Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fujita, M., McGeer, P. Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. Formal Methods in System Design 10, 135–136 (1997). https://doi.org/10.1023/A:1008658421514
Issue Date:
DOI: https://doi.org/10.1023/A:1008658421514