@article{Burch_1992,
    doi = {10.1016/0890-5401(92)90017-a},
    url = {https://doi.org/10.1016%2F0890-5401%2892%2990017-a},
    year = {1992},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {98},
    number = {2},
    pages = {142--170},
    author = {J.R. Burch and E.M. Clarke and K.L. McMillan and D.L. Dill and L.J. Hwang},
    title = {Symbolic model checking: 1020 States and beyond},
    journal = {Information and Computation}
}

@article{Burch_1992, doi = {10.1016/0890-5401(92)90017-a}, url = {https://doi.org/10.1016%2F0890-5401%2892%2990017-a}, year = {1992}, month = {jun}, publisher = {Elsevier {BV}}, volume = {98}, number = {2}, pages = {142--170}, author = {J.R. Burch and E.M. Clarke and K.L. McMillan and D.L. Dill and L.J. Hwang}, title = {Symbolic model checking: 1020 States and beyond}, journal = {Information and Computation} }