BibTeX record conf/dac/AzizBCHKKRSSTWBS94

• > Home > conf/dac/AzizBCHKKRSSTWBS94

@inproceedings{DBLP:conf/dac/AzizBCHKKRSSTWBS94,
  author       = {Adnan Aziz and
                  Felice Balarin and
                  Szu{-}Tsung Cheng and
                  Ramin Hojati and
                  Timothy Kam and
                  Sriram C. Krishnan and
                  Rajeev K. Ranjan and
                  Thomas R. Shiple and
                  Vigyan Singhal and
                  Serdar Tasiran and
                  Huey{-}Yih Wang and
                  Robert K. Brayton and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Michael J. Lorenzetti},
  title        = {{HSIS:} {A} BDD-Based Environment for Formal Verification},
  booktitle    = {Proceedings of the 31st Conference on Design Automation, San Diego,
                  California, USA, June 6-10, 1994},
  pages        = {454--459},
  publisher    = {{ACM} Press},
  year         = {1994},
  url          = {https://doi.org/10.1145/196244.196467},
  doi          = {10.1145/196244.196467},
  timestamp    = {Mon, 27 May 2019 12:14:19 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/AzizBCHKKRSSTWBS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}