@article{Klein_2006,
    doi = {10.1016/j.tcs.2006.07.022},
    url = {https://doi.org/10.1016%2Fj.tcs.2006.07.022},
    year = {2006},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {363},
    number = {2},
    pages = {182--195},
    author = {Joachim Klein and Christel Baier},
    title = {{Experiments with deterministic {$\omega$}-automata for formulas of linear temporal logic}},
    journal = {Theoretical Computer Science}
}

@article{Klein_2006, doi = {10.1016/j.tcs.2006.07.022}, url = {https://doi.org/10.1016%2Fj.tcs.2006.07.022}, year = {2006}, month = {oct}, publisher = {Elsevier {BV}}, volume = {363}, number = {2}, pages = {182--195}, author = {Joachim Klein and Christel Baier}, title = {{Experiments with deterministic {$\omega$}-automata for formulas of linear temporal logic}}, journal = {Theoretical Computer Science} }