@inproceedings{Yang_1998,
    doi = {10.1145/277044.277201},
    url = {https://doi.org/10.1145%2F277044.277201},
    year = {1998},
    publisher = {{ACM} Press},
    author = {C. Han Yang and David L. Dill},
    title = {Validation with guided search of the state space},
    booktitle = {Proceedings of the 35th annual conference on Design automation conference  - {DAC} {\textquotesingle}98}
}

@inproceedings{Yang_1998, doi = {10.1145/277044.277201}, url = {https://doi.org/10.1145%2F277044.277201}, year = {1998}, publisher = {{ACM} Press}, author = {C. Han Yang and David L. Dill}, title = {Validation with guided search of the state space}, booktitle = {Proceedings of the 35th annual conference on Design automation conference - {DAC} {\textquotesingle}98} }