%0 Journal Article %1 journals/dt/DrechslerBR97 %A Drechsler, Rolf %A Becker, Bernd %A Ruppertz, Stefan %D 1997 %J IEEE Des. Test Comput. %K dblp %N 2 %P 51-59 %T The K*BMD: A Verification Data Structure. %U http://dblp.uni-trier.de/db/journals/dt/dt14.html#DrechslerBR97 %V 14

@article{journals/dt/DrechslerBR97, added-at = {2023-03-21T00:00:00.000+0100}, author = {Drechsler, Rolf and Becker, Bernd and Ruppertz, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2f6b25c266310d6db446a28c2d6e7b4eb/dblp}, ee = {https://www.wikidata.org/entity/Q59243105}, interhash = {c346ad32b72aeae0cfa14901afd77e85}, intrahash = {f6b25c266310d6db446a28c2d6e7b4eb}, journal = {IEEE Des. Test Comput.}, keywords = {dblp}, number = 2, pages = {51-59}, timestamp = {2024-04-09T04:12:26.000+0200}, title = {The K*BMD: A Verification Data Structure.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt14.html#DrechslerBR97}, volume = 14, year = 1997 }