YuanSHAA02'

BibTeX

@inproceedings{DBLP:conf/iwls/YuanSHAA02,
  author    = {Jun Yuan and
               Kurt Shultz and
               John Havlicek and
               Ken Albin and
               Adnan Aziz},
  title     = {A Method for Synthesizing Boolean Constrains},
  booktitle = {IWLS},
  year      = {2002},
  pages     = {351-353},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}