%0 Journal Article
%B Nonlinear Analysis: Hybrid Systems
%D 2016
%G eng
%T Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability
%8 05/2016