%0 Conference Paper %1 conf/date/BeckerD95 %A Becker, Bernd %A Drechsler, Rolf %B ED&TC %D 1995 %I IEEE Computer Society %K dblp %P 438-443 %T How many decomposition types do we need? decision diagrams. %U http://dblp.uni-trier.de/db/conf/date/edtc1995.html#BeckerD95 %@ 0-8186-7039-8

@inproceedings{conf/date/BeckerD95, added-at = {2022-05-20T00:00:00.000+0200}, author = {Becker, Bernd and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/232ab8c8102f5cc45acb6eea5bd65585d/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1995}, ee = {https://dl.acm.org/doi/10.5555/787258.787475}, interhash = {b6c5f7658ead4abb9814ca51720da722}, intrahash = {32ab8c8102f5cc45acb6eea5bd65585d}, isbn = {0-8186-7039-8}, keywords = {dblp}, pages = {438-443}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T12:36:04.000+0200}, title = {How many decomposition types do we need? [decision diagrams].}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1995.html#BeckerD95}, year = 1995 }