Paul Tafertshofer, Massoud Pedram. Factored Edge-Valued Binary Decision Diagrams. Formal Methods in System Design, 10(2/3):243-270, 1997.
@article{TafertshoferP97, title = {Factored Edge-Valued Binary Decision Diagrams}, author = {Paul Tafertshofer and Massoud Pedram}, year = {1997}, researchr = {https://researchr.org/publication/TafertshoferP97}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {10}, number = {2/3}, pages = {243-270}, }