An axiomatic approach to existence and liveness for differential equations

@ARTICLE{DBLP:journals/fac/TanP21,
	pdf = {https://link.springer.com/content/pdf/10.1007/s00165-020-00525-0.pdf},
	ref = {DBLP:conf/fm/TanP19},
	refname = {FM'19},

  author    = {Yong Kiam Tan and
               Andr{\'{e}} Platzer},
  title     = {An Axiomatic Approach to Existence and Liveness
               for Differential Equations},
  journal   = {Formal Aspects Comput.},
  volume    = {33},
  number    = {4},
  pages     = {461-518},
  year      = {2021},
  doi       = {10.1007/s00165-020-00525-0},
  issn      = {0934-5043},
  note      = {Special issue for selected papers from FM'19},
}```