@article{Kupferman_2001,
    author = {Orna Kupferman and Moshe Y. Vardi},
    Title = {Model Checking of Safety Properties},
    Year = {2001},
    Journal = {Formal Methods in System Design},
    DOI = {https://dx.doi.org/10.1023/a:1011254632723},
    URL = {https://doi.org/10.1023%2Fa%3A1011254632723},
    date-modified = {2025-10-13 8:14:17 +0100}
}

@article{Kupferman_2001, author = {Orna Kupferman and Moshe Y. Vardi}, Title = {Model Checking of Safety Properties}, Year = {2001}, Journal = {Formal Methods in System Design}, DOI = {https://dx.doi.org/10.1023/a:1011254632723}, URL = {https://doi.org/10.1023%2Fa%3A1011254632723}, date-modified = {2025-10-13 8:14:17 +0100} }