@article{Doyen_2009,
    doi = {10.2168/lmcs-5(1:5)2009},
    url = {https://doi.org/10.2168%2Flmcs-5%281%3A5%292009},
    year = {2009},
    month = {mar},
    publisher = {Centre pour la Communication Scientifique Directe ({CCSD})},
    volume = {Volume 5, Issue 1},
    author = {Laurent Doyen and Jean-Francois Raskin},
    title = {Antichains for the Automata-Based Approach to Model-Checking},
    journal = {Logical Methods in Computer Science}
}

@article{Doyen_2009, doi = {10.2168/lmcs-5(1:5)2009}, url = {https://doi.org/10.2168%2Flmcs-5%281%3A5%292009}, year = {2009}, month = {mar}, publisher = {Centre pour la Communication Scientifique Directe ({CCSD})}, volume = {Volume 5, Issue 1}, author = {Laurent Doyen and Jean-Francois Raskin}, title = {Antichains for the Automata-Based Approach to Model-Checking}, journal = {Logical Methods in Computer Science} }