@phdthesis{Eik2018,Author = {Eike Möhlmann},Title = {Automatic Stability Verification via Lyapunov Functions},Year = {2018},Month = {12},Url = {https://oops.uni-oldenburg.de/id/eprint/4217},type = {phdthesis}}@COMMENT{Bibtex file generated on }