@incollection{Gastin_2001,
    doi = {10.1007/3-540-44585-4_6},
    url = {https://doi.org/10.1007%2F3-540-44585-4_6},
    year = {2001},
    publisher = {Springer Berlin Heidelberg},
    pages = {53--65},
    author = {Paul Gastin and Denis Oddoux},
    title = {Fast {LTL} to Büchi Automata Translation},
    booktitle = {Computer Aided Verification}
}

@incollection{Gastin_2001, doi = {10.1007/3-540-44585-4_6}, url = {https://doi.org/10.1007%2F3-540-44585-4_6}, year = {2001}, publisher = {Springer Berlin Heidelberg}, pages = {53--65}, author = {Paul Gastin and Denis Oddoux}, title = {Fast {LTL} to Büchi Automata Translation}, booktitle = {Computer Aided Verification} }