Sequential Circuit Verification Using Symbolic Model Checking (bibtex)

by Jerry R. Burch and Edmund M. Clarke and Kenneth L. McMillan and David L. Dill

Reference:

Sequential Circuit Verification Using Symbolic Model Checking (Jerry R. Burch and Edmund M. Clarke and Kenneth L. McMillan and David L. Dill), In Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., 1990.

Bibtex Entry:

@inproceedings{DBLP:conf/dac/BurchCMD90,
  author    = {Jerry R. Burch and
               Edmund M. Clarke and
               Kenneth L. McMillan and
               David L. Dill},
  title     = {Sequential Circuit Verification Using Symbolic Model Checking},
  booktitle = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
               Florida, USA, June 24-28, 1990.},
  pages     = {46--51},
  year      = {1990},
  url       = {DAC90.pdf},
  doi       = {10.1145/123186.123223},
  timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/BurchCMD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}