@article{etna_vol40_pp187-203, author = {Andreas Frommer and Behnam Hashemi}, title = {Verified stability analysis using the Lyapunov matrix equation}, journal = {Electron. Trans. Numer. Anal.}, volume = {40}, year = {2013}, pages = {187--203}, }