%0 Conference Paper %1 conf/ftcs/BitnerJAAF94 %A Bitner, James R. %A Jain, Jawahar %A Abadir, Magdy S. %A Abraham, Jacob A. %A Fussell, Donald S. %B FTCS %D 1994 %I IEEE Computer Society %K dblp %P 266-275 %T Efficient Algorithmic Circuit Verification Using Indexed BDDs. %U http://dblp.uni-trier.de/db/conf/ftcs/ftcs94.html#BitnerJAAF94 %@ 0-8186-5520-8

@inproceedings{conf/ftcs/BitnerJAAF94, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bitner, James R. and Jain, Jawahar and Abadir, Magdy S. and Abraham, Jacob A. and Fussell, Donald S.}, biburl = {https://www.bibsonomy.org/bibtex/2129d55e27f6079eac7f2c16f856c740e/dblp}, booktitle = {FTCS}, crossref = {conf/ftcs/1994}, ee = {https://doi.org/10.1109/FTCS.1994.315633}, interhash = {b3a0a186685fc7a31a62c5c09ee4a661}, intrahash = {129d55e27f6079eac7f2c16f856c740e}, isbn = {0-8186-5520-8}, keywords = {dblp}, pages = {266-275}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T13:31:07.000+0200}, title = {Efficient Algorithmic Circuit Verification Using Indexed BDDs.}, url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs94.html#BitnerJAAF94}, year = 1994 }