@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},
     year = {2013},
     volume = {40},
     zbl = {1288.65058},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ETNA_2013__40__a16/}
}