BibTeX record conf/cav/BraytonHSSACEKKPQRSSSV96

• > Home > conf/cav/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},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger},
  title        = {{VIS:} {A} System for Verification and Synthesis},
  booktitle    = {Computer Aided Verification, 8th International Conference, {CAV} '96,
                  New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1102},
  pages        = {428--432},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61474-5\_95},
  doi          = {10.1007/3-540-61474-5\_95},
  timestamp    = {Mon, 27 May 2019 12:14:19 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BraytonHSSACEKKPQRSSSV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}