@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 }