BianchiCRRA97'

BibTeX

@inproceedings{DBLP:conf/hpcn/BianchiCRRA97,
  author    = {F. Bianchi and
               Fulvio Corno and
               Maurizio Rebaudengo and
               Matteo Sonza Reorda and
               Roberto Ansaloni},
  title     = {Boolean Function Manipulation on a Parallel System Using
               BDDs},
  booktitle = {HPCN Europe},
  year      = {1997},
  pages     = {916-928},
  crossref  = {DBLP:conf/hpcn/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/hpcn/1997,
  editor    = {Louis O. Hertzberger and
               Peter M. A. Sloot},
  title     = {High-Performance Computing and Networking, International
               Conference and Exhibition, HPCN Europe 1997, Vienna, Austria,
               April 28-30, 1997, Proceedings},
  booktitle = {HPCN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1225},
  year      = {1997},
  isbn      = {3-540-62898-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}