BraytonHSSACEKKPQRSSSV96'

@inproceedings{DBLP:conf/cav/BraytonHSSACEKKPQRSSSV96,
  author    = {Robert K. Brayton and
               Gary D. Hachtel and
               Alberto L. Sangiovanni-Vincentelli and
               Fabio Somenzi and
               Adnan Aziz and
               Szu-Tsung Cheng and
               Stephen A. Edwards and
               Sunil P. Khatri and
               Yuji Kukimoto and
               Abelardo Pardo and
               Shaz Qadeer and
               Rajeev K. Ranjan and
               Shaker Sarwary and
               Thomas R. Shiple and
               Gitanjali Swamy and
               Tiziano Villa},
  title     = {VIS: A System for Verification and Synthesis},
  booktitle = {CAV},
  year      = {1996},
  pages     = {428-432},
  ee        = {http://dx.doi.org/10.1007/3-540-61474-5_95},
  crossref  = {DBLP:conf/cav/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cav/1996,
  editor    = {Rajeev Alur and
               Thomas A. Henzinger},
  title     = {Computer Aided Verification, 8th International Conference,
               CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996,
               Proceedings},
  booktitle = {CAV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1102},
  year      = {1996},
  isbn      = {3-540-61474-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}