%0 Conference Paper %1 conf/ifip/GergovM94 %A Gergov, Jordan %A Meinel, Christoph %B IFIP Congress (1) %D 1994 %E Pehrson, Björn %E Simon, Imre %I North-Holland %K %P 309-314 %T Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification. %U http://dblp.uni-trier.de/db/conf/ifip/ifip94-1.html#GergovM94 %V A-51 %@ 0-444-81989-4

@inproceedings{conf/ifip/GergovM94, added-at = {2023-12-14T16:01:44.000+0100}, author = {Gergov, Jordan and Meinel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2298900d671c7360cdb9d9800890a1595/admin}, booktitle = {IFIP Congress (1)}, crossref = {conf/ifip/1994-1}, editor = {Pehrson, Björn and Simon, Imre}, interhash = {f28b1f7f8cbfb0d0efe23637829d6254}, intrahash = {298900d671c7360cdb9d9800890a1595}, isbn = {0-444-81989-4}, keywords = {}, pages = {309-314}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2023-12-14T16:01:44.000+0100}, title = {Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip94-1.html#GergovM94}, volume = {A-51}, year = 1994 }