%0 Journal Article %1 journals/fmsd/TafertshoferP97 %A Tafertshofer, Paul %A Pedram, Massoud %D 1997 %J Formal Methods Syst. Des. %K dblp %N 2/3 %P 243-270 %T Factored Edge-Valued Binary Decision Diagrams. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd10.html#TafertshoferP97 %V 10

@article{journals/fmsd/TafertshoferP97, added-at = {2020-03-13T00:00:00.000+0100}, author = {Tafertshofer, Paul and Pedram, Massoud}, biburl = {https://www.bibsonomy.org/bibtex/2327cece4ee629472ace57f63aa90d645/dblp}, ee = {https://doi.org/10.1023/A:1008691605584}, interhash = {3efae5cc8fe00990d05458f0c28c5626}, intrahash = {327cece4ee629472ace57f63aa90d645}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = {2/3}, pages = {243-270}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {Factored Edge-Valued Binary Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd10.html#TafertshoferP97}, volume = 10, year = 1997 }