%0 Conference Paper %1 conf/iccd/KimuraC90 %A Kimura, Shinji %A Clarke, Edmund M. %B ICCD %D 1990 %I IEEE Computer Society %K dblp %P 220-223 %T A parallel algorithm for constructing binary decision diagrams. %U http://dblp.uni-trier.de/db/conf/iccd/iccd1990.html#KimuraC90 %@ 0-8186-2079-X

@inproceedings{conf/iccd/KimuraC90, added-at = {2023-03-23T00:00:00.000+0100}, author = {Kimura, Shinji and Clarke, Edmund M.}, biburl = {https://www.bibsonomy.org/bibtex/2e1f33edf9c4073dbc36423030d101348/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.1990.130209}, interhash = {a61b5a5d716e5eb66582ea8944453c13}, intrahash = {e1f33edf9c4073dbc36423030d101348}, isbn = {0-8186-2079-X}, keywords = {dblp}, pages = {220-223}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:59:33.000+0200}, title = {A parallel algorithm for constructing binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1990.html#KimuraC90}, year = 1990 }