TY  - JOUR
AU  - Frommer, Andreas
AU  - Hashemi, Behnam
TI  - Verified stability analysis using the Lyapunov matrix equation
JO  - Electronic transactions on numerical analysis
PY  - 2013
SP  - 187
EP  - 203
VL  - 40
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ETNA_2013__40__a16/
LA  - en
ID  - ETNA_2013__40__a16
ER  -