BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@article{TUW-275680,
    author = {Murthy, Abhishek and Islam, Ariful and Smolka, Scott A. and Grosu, Radu},
    title = {Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-Decidability},
    journal = {Nonlinear Analysis: Hybrid Systems},
    year = {2017},
    volume = {23},
    number = {2},
    pages = {272--286},
    doi = {10.1016/j.nahs.2016.03.008}
}


1 Datensatz ausgegeben