@incollection{Couvreur_2003,
    doi = {10.1007/978-3-540-39813-4_26},
    url = {https://doi.org/10.1007%2F978-3-540-39813-4_26},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {361--375},
    author = {Jean-Michel Couvreur and Nasser Saheb and Gr{\'{e}}goire Sutre},
    title = {An Optimal Automata Approach to {LTL} Model Checking of Probabilistic Systems},
    booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning}
}

@incollection{Couvreur_2003, doi = {10.1007/978-3-540-39813-4_26}, url = {https://doi.org/10.1007%2F978-3-540-39813-4_26}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {361--375}, author = {Jean-Michel Couvreur and Nasser Saheb and Gr{\'{e}}goire Sutre}, title = {An Optimal Automata Approach to {LTL} Model Checking of Probabilistic Systems}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning} }