%0 Conference Paper %1 conf/hpcn/BianchiCRRA97 %A Bianchi, F. %A Corno, Fulvio %A Rebaudengo, Maurizio %A Reorda, Matteo Sonza %A Ansaloni, Roberto %B HPCN Europe %D 1997 %E Hertzberger, Louis O. %E Sloot, Peter M. A. %I Springer %K dblp %P 916-928 %T Boolean Function Manipulation on a Parallel System Using BDDs. %U http://dblp.uni-trier.de/db/conf/hpcn/hpcn1997.html#BianchiCRRA97 %V 1225 %@ 3-540-62898-3

@inproceedings{conf/hpcn/BianchiCRRA97, added-at = {2019-10-19T00:00:00.000+0200}, author = {Bianchi, F. and Corno, Fulvio and Rebaudengo, Maurizio and Reorda, Matteo Sonza and Ansaloni, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2f33d26aae7b575e843dad803d17055e7/dblp}, booktitle = {HPCN Europe}, crossref = {conf/hpcn/1997}, editor = {Hertzberger, Louis O. and Sloot, Peter M. A.}, ee = {https://doi.org/10.1007/BFb0031663}, interhash = {a446fad490fe6689168eb6e36fea4921}, intrahash = {f33d26aae7b575e843dad803d17055e7}, isbn = {3-540-62898-3}, keywords = {dblp}, pages = {916-928}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:00:55.000+0200}, title = {Boolean Function Manipulation on a Parallel System Using BDDs.}, url = {http://dblp.uni-trier.de/db/conf/hpcn/hpcn1997.html#BianchiCRRA97}, volume = 1225, year = 1997 }