@inproceedings{DBLP:conf/iccd/RanjanSBS96,
  author    = {Rajeev K. Ranjan and
               Jagesh V. Sanghavi and
               Robert K. Brayton and
               Alberto L. Sangiovanni-Vincentelli},
  title     = {Binary decision diagrams on network of workstation},
  booktitle = {ICCD},
  year      = {1996},
  pages     = {358-364},
  ee        = {http://computer.org/proceedings/iccd/7554/75540358abs.htm},
  crossref  = {DBLP:conf/iccd/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccd/1996,
  title     = {1996 International Conference on Computer Design (ICCD '96),
               VLSI in Computers and Processors, October 7-9, 1996, Austin,
               TX, USA, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1996},
  isbn      = {0-8186-7554-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}