@incollection{Giannakopoulou_2002,
    doi = {10.1007/3-540-36135-9_20},
    url = {https://doi.org/10.1007%2F3-540-36135-9_20},
    year = {2002},
    publisher = {Springer Berlin Heidelberg},
    pages = {308--326},
    author = {Dimitra Giannakopoulou and Flavio Lerda},
    title = {From States to Transitions: Improving Translation of {LTL} Formulae to Büchi Automata},
    booktitle = {Formal Techniques for Networked and Distributed Sytems - {FORTE} 2002}
}

@incollection{Giannakopoulou_2002, doi = {10.1007/3-540-36135-9_20}, url = {https://doi.org/10.1007%2F3-540-36135-9_20}, year = {2002}, publisher = {Springer Berlin Heidelberg}, pages = {308--326}, author = {Dimitra Giannakopoulou and Flavio Lerda}, title = {From States to Transitions: Improving Translation of {LTL} Formulae to Büchi Automata}, booktitle = {Formal Techniques for Networked and Distributed Sytems - {FORTE} 2002} }