%0 Journal Article %1 journals/fmsd/SchollBW02 %A Scholl, Christoph %A Becker, Bernd %A Weis, Thomas M. %D 2002 %J Formal Methods in System Design %K dblp %N 3 %P 311-326 %T On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd20.html#SchollBW02 %V 20

@article{journals/fmsd/SchollBW02, added-at = {2011-05-25T00:00:00.000+0200}, author = {Scholl, Christoph and Becker, Bernd and Weis, Thomas M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29cc9f80b800305ffb959ef9904721013/dblp}, ee = {http://dx.doi.org/10.1023/A:1014702331828}, interhash = {454ec14f71ea6f42940b04bb179a0399}, intrahash = {9cc9f80b800305ffb959ef9904721013}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 3, pages = {311-326}, timestamp = {2016-02-02T01:14:24.000+0100}, title = {On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd20.html#SchollBW02}, volume = 20, year = 2002 }