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}
}