@incollection{Droste_2009,
    doi = {10.1007/978-3-642-01492-5_5},
    url = {https://doi.org/10.1007%2F978-3-642-01492-5_5},
    year = {2009},
    publisher = {Springer Berlin Heidelberg},
    pages = {175--211},
    author = {Manfred Droste and Paul Gastin},
    title = {Weighted Automata and Weighted Logics},
    booktitle = {Monographs in Theoretical Computer Science. An {EATCS} Series}
}

@incollection{Droste_2009, doi = {10.1007/978-3-642-01492-5_5}, url = {https://doi.org/10.1007%2F978-3-642-01492-5_5}, year = {2009}, publisher = {Springer Berlin Heidelberg}, pages = {175--211}, author = {Manfred Droste and Paul Gastin}, title = {Weighted Automata and Weighted Logics}, booktitle = {Monographs in Theoretical Computer Science. An {EATCS} Series} }