BibTeX record: conf/dac/SaldanhaVBS91

download as .bib file

@inproceedings{DBLP:conf/dac/SaldanhaVBS91,
  author    = {Alexander Saldanha and
               Tiziano Villa and
               Robert K. Brayton and
               Alberto L. Sangiovanni{-}Vincentelli},
  title     = {A Framework for Satisfying Input and Output Encoding Constraints},
  booktitle = {{DAC}},
  year      = {1991},
  pages     = {170--175},
  url       = {http://doi.acm.org/10.1145/127601.127656},
  doi       = {10.1145/127601.127656},
  timestamp = {Tue, 21 Oct 2014 23:48:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dac/SaldanhaVBS91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}