@article{ETNA_2013__40__a16,
     author = {Frommer, Andreas and Hashemi, Behnam},
     title = {Verified stability analysis using the {Lyapunov} matrix equation},
     journal = {Electronic transactions on numerical analysis},
     pages = {187--203},
     publisher = {mathdoc},
     volume = {40},
     year = {2013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ETNA_2013__40__a16/}
}