@inproceedings{Robenack_2019,
    title = {Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination},
    url = {http://dx.doi.org/10.1109/icstcc.2019.8885899},
    doi = {10.1109/icstcc.2019.8885899},
    booktitle = {2019 23rd International Conference on System Theory, Control and Computing (ICSTCC)},
    publisher = {IEEE},
    author = {Robenack, Klaus and Voswinkel, Rick},
    year = {2019},
    month = {oct},
    pages = {314–319},
    date-added = {2025-5-6 10:52:9 +0100}
}

@inproceedings{Robenack_2019, title = {Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination}, url = {http://dx.doi.org/10.1109/icstcc.2019.8885899}, doi = {10.1109/icstcc.2019.8885899}, booktitle = {2019 23rd International Conference on System Theory, Control and Computing (ICSTCC)}, publisher = {IEEE}, author = {Robenack, Klaus and Voswinkel, Rick}, year = {2019}, month = {oct}, pages = {314–319}, date-added = {2025-5-6 10:52:9 +0100} }