@article{Clarke_1999,
    doi = {10.1007/s100090050035},
    url = {https://doi.org/10.1007%2Fs100090050035},
    year = {1999},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {2},
    number = {3},
    pages = {279--287},
    author = {E.M. Clarke and O. Grumberg and M. Minea and D. Peled},
    title = {State space reduction using partial order techniques},
    journal = {International Journal on Software Tools for Technology Transfer ({STTT})}
}

@article{Clarke_1999, doi = {10.1007/s100090050035}, url = {https://doi.org/10.1007%2Fs100090050035}, year = {1999}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {2}, number = {3}, pages = {279--287}, author = {E.M. Clarke and O. Grumberg and M. Minea and D. Peled}, title = {State space reduction using partial order techniques}, journal = {International Journal on Software Tools for Technology Transfer ({STTT})} }