%0 Journal Article
%A Frommer, Andreas
%A Hashemi, Behnam
%T Verified stability analysis using the Lyapunov matrix equation
%J Electronic transactions on numerical analysis
%D 2013
%P 187-203
%V 40
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ETNA_2013__40__a16/
%G en
%F ETNA_2013__40__a16