@inbook{Rodrguez-Carbonell_Tiwari_HSCC_2005,
    title = {Generating Polynomial Invariants for Hybrid Systems},
    isbn = {9783540319542},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-540-31954-2_38},
    doi = {10.1007/978-3-540-31954-2_38},
    booktitle = {Hybrid Systems: Computation and Control},
    publisher = {Springer Berlin Heidelberg},
    author = {Rodríguez-Carbonell, Enric and Tiwari, Ashish},
    year = {2005},
    pages = {590–605},
    date-added = {2026-3-2 17:29:44 +0100}
}

@inbook{Rodrguez-Carbonell_Tiwari_HSCC_2005, title = {Generating Polynomial Invariants for Hybrid Systems}, isbn = {9783540319542}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-540-31954-2_38}, doi = {10.1007/978-3-540-31954-2_38}, booktitle = {Hybrid Systems: Computation and Control}, publisher = {Springer Berlin Heidelberg}, author = {Rodríguez-Carbonell, Enric and Tiwari, Ashish}, year = {2005}, pages = {590–605}, date-added = {2026-3-2 17:29:44 +0100} }