@article{101,
  author = {A. Murthy and Md. Islam and S. Smolka and R. Grosu},
  title = {Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability},
  year = {2016},
  journal = {Nonlinear Analysis: Hybrid Systems},
  month = {05/2016},
  language = {eng},
}