@inproceedings{Andersen_LICS_1995,
    series = {LICS-95},
    title = {Partial model checking},
    url = {http://dx.doi.org/10.1109/lics.1995.523274},
    doi = {10.1109/lics.1995.523274},
    booktitle = {Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science},
    publisher = {IEEE},
    author = {Andersen, H.R.},
    pages = {398–407},
    collection = {LICS-95},
    date-added = {2025-4-2 13:19:5 +0100}
}

@inproceedings{Andersen_LICS_1995, series = {LICS-95}, title = {Partial model checking}, url = {http://dx.doi.org/10.1109/lics.1995.523274}, doi = {10.1109/lics.1995.523274}, booktitle = {Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science}, publisher = {IEEE}, author = {Andersen, H.R.}, pages = {398–407}, collection = {LICS-95}, date-added = {2025-4-2 13:19:5 +0100} }